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