Introduction to Formal Languages, Automata Theory and Computation - Krithivasan,Kamala; R, Rama. (Noida: Pearson, 2009)