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