Лямин, А. (2018) Метод формальной верификации программ для виртуальной лаборатории „Машина Поста“, Информационно-управляющие системы, (2), сс. 104-114. DOI: 10.15217/issn1684-8853.2018.2.104.