Вельдер, Сергей Эдуардович, и Анатолий Абрамович Шалыто. 2007. О верификации простых автоматных программ на основе метода Model Checking. Информационно-управляющие системы, вып. 3 (июнь), 27-38. http://ia.spcras.ru/index.php/ius/article/view/14670.