Канжелев, С. Ю., и А. А. Шалыто. Автоматическая генерация автоматного кода. Информационно-управляющие системы, вып. 6, Dec. 2006, сс. 35-42, https://i-us.ru/index.php/ius/article/view/14568.