LetychevskyiO., PeschanenkoV., PoltoratskyiM., and KonnovaO., “AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL”, ITE, no. 54, pp. 37-51, Dec. 2023.