Introduction to Automata Theory (1979)

by J Hopcroft, J Ullman
Venue:Languages and Computation, Addison-Wesley