Theory of computer science: Automata, languages and computation - Mishra, K. L. P. (New Delhi Prentice-Hall, 2000)