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