Introduction to Automata Theory Language and Computation - Hopcroft; John E Motwani; Rajeev V Ullman (Chennai Person, 2009)