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