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