«АЛГЕБРАЇЧНИЙ ПІДХІД ДО АНАЛІЗУ СМАРТ-КОНТРАКТІВ НА TEAL», ITE, вип. 54, с. 37–51, Груд 2023, doi: 10.14308/ite000774.