Title: Finite automata; behavior and synthesis
Subjects: Sequential machine theory