Introduction to Automata Theory, Languages, Comput - Hopcroft; Ullman; Motwani (Pearson Education Asia 1, 2005)