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