John E.Hopcroft Introduction To Automation, Theory,Languages and Computation - USA Pearson Education. 2001