А. Лямин, Метод формальной верификации программ для виртуальной лаборатории „Машина Поста“, ИУС, вып. 2, сс. 104-114, апр. 2018.