Методика верификации автоматных программ - Егоров, Кирилл Викторович; Шалыто, Анатолий Абрамович (Информационно-управляющие системы, 2008)