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