Летичевський О., ПесчаненкоВ., ПолторацькийМ., і КонноваО., «АЛГЕБРАЇЧНИЙ ПІДХІД ДО АНАЛІЗУ СМАРТ-КОНТРАКТІВ НА TEAL», ITE, вип. 54, с. 37-51, Груд 2023.