Automata theory machines and languages (McGraw-Hill, 1972)