Варшавский, В. И.; Мараховский, В. Б. Самосинхронизируемый конечный автомат: от примера к синтезу. ИУС 2005, 33-37.