«АЛГЕБРАЇЧНИЙ ПІДХІД ДО АНАЛІЗУ СМАРТ-КОНТРАКТІВ НА TEAL» (2023) Збірник наукових праць "Information Technologies in Education" (ITE), (54), с. 37–51. doi:10.14308/ite000774.