Лямин, А.В. Метод формальной верификации программ для виртуальной лаборатории „Машина Поста“. Информационно-управляющие системы, no. 2 (апрель 1, 2018): 104-114. просмотрено май 3, 2025. https://www.i-us.ru/index.php/ius/article/view/4331.