Introduction to formal languages, automata theory and computation - Krithivasan, Kamala (Pearson, 2009)