Automata theory : an engineering approch - Aleksander, Igor (1975)