Automata theory (Academic Press, 1968)