Канжелев, С. Ю.; Шалыто, А. А. Автоматическая генерация автоматного кода. ИУС 2006, 35-42.