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