Automata theory : an engineering approach - Aleksander, Igor (Crane Russak, 1976)