Theory of computer science: Automata, languages and computaion - Mishra, K.L.P (Prentice-Hall of India, 2004)