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