Лямин А. Метод формальной верификации программ для виртуальной лаборатории «Машина Поста». ИУС [Интернет]. 1апр.2018 [цитируется по 3май2025];(2):104-1. Available from: https://www.i-us.ru/index.php/ius/article/view/4331