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