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