Introduction to formal languages, automata theory and computation - Kamala Krithivasan, Rama R (Pearson India Education services Pvt Ltd, 2009)