Introduction to Automata Theory, Languages and Computation - John E Hopcroft; Jeffrey D Ullman (Narosa Publishing House New Delhi, 1989)