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