ЛЯМИН, А. Метод формальной верификации программ для виртуальной лаборатории «Машина Поста». Информационно-управляющие системы, n. 2, p. 104-114, 1 abr. 2018.