Introduction to automata theory languges, and computation - HOPCROFT, John E (California : Addison Wesley Publishing Company, 1979)