Introduction to Automata Theory, Languages, and Computation (1979)

by J E HOPCROFT, J D ULLMAN