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

by J Hopcroft, J Ullman