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