Hopcroft, John E & etal Introduction to automata theory languages and computation - 3 - Pearson Education Asia 2009 - 485