Канжелев, С.Ю., Шалыто, А.А.: Автоматическая генерация автоматного кода. Информационно-управляющие системы(6), 35-42 (2006)