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