Automata and Theoretical Computer Science - Ragade, B.R. (Pearson Education New Delhi, 2004)