“AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL” (2023) Journal of Information Technologies in Education (ITE), (54), pp. 37–51. doi:10.14308/ite000774.