Конечные автоматы Поведение и синтез - Трахтенброт Б.А., Барздинь Я.М (Наука, 1970)