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