AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ITE. 2023;(54):37-51. doi:10.14308/ite000774