«АЛГЕБРАЇЧНИЙ ПІДХІД ДО АНАЛІЗУ СМАРТ-КОНТРАКТІВ НА TEAL». Збірник наукових праць "Information Technologies in Education" (ITE), no. 54 (Грудень 29, 2023): 37–51. дата звернення Серпень 28, 2026. https://ite.kspu.edu/index.php/ite/article/view/868.