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