Introduction to Automata Theory (1980)

by J E Hopcroft, J D Ullman
Venue:Languages and Computation, Addison-Wesley Series in Computer Science