Automata theory : an engineering approach - Aleksander, Igor (Computer systems engineering series, 1976)