Formal languages and their relation to automata - Hopcroft, John E. (Addison-Wesley Publishing Company, Inc, 1969)