Introduction to Automata Theory,Languages and Computation - Hopcroft,John E and Ullman,Jeffery D. (Narosa, 1979)