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