AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ITE 2023, No. 54, 37-51. https://doi.org/10.14308/ite000774.