O. Letychevskyi, V. . Peschanenko, M. . Poltoratskyi, and O. Konnova, “AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL”, ITE, no. 54, pp. 37–51, Dec. 2023.