Егоров, Кирилл Викторович, и Анатолий Абрамович Шалыто. Методика верификации автоматных программ. Информационно-управляющие системы, no. 5 (октябрь 20, 2008): 15-21. просмотрено май 3, 2025. https://www.i-us.ru/index.php/ius/article/view/14782.