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