Theory of Automata Formal Languages and Computation - Xavier, S.P.E. (New Delhi New Age International Publishers, 2004)