“Programming Language Design for Safer Smart Contract Execution”, Blo.web.dig.jrnl, vol. 2, no. 2, pp. 9–18, Jun. 2025, Accessed: Aug. 31, 2026. [Online]. Available: https://galaxiauniverse.com/index.php/BWDTJ/article/view/448