AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. Journal of Information Technologies in Education (ITE), n. 54, p. 37–51, 29 Dec.2023.