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