Жихарев, А. Г.; Киданов, В. В.; Корсунов, Н. И. Системно-объектное моделирование смарт-контрактов. ЭИ 2023, 50, 859-872.