“Programming Language Design for Safer Smart Contract Execution”. 2025. Blockchain, Web3 & Digital Trust Journal P-ISSN 3117-597X and E-ISSN 3117-5988 2 (2): 9-18. https://galaxiauniverse.com/index.php/BWDTJ/article/view/448.