Letychevskyi, O., V. . Peschanenko, M. . Poltoratskyi, and O. Konnova. “AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL”. Journal of Information Technologies in Education (ITE), no. 54, Dec. 2023, pp. 37-51, doi:10.14308/ite000774.