Automata theory machines and languages - Kain, Richard Y. (McGraw-Hill, 1972)