Automata theory : an engineering approach - Aleksander, Igor; Hanna, F. Keith (rz1, 1975)