Introduction to automata theory languages and computation (1979)

by J Hopcroft, J Ullman
Venue:Efrat Jaeger, Nissim Francez, and Shuly Wintner