Егоров, К. В.; Шалыто, А. А. Методика верификации автоматных программ. ИУС 2008, 15-21.