Formal languages and their relation to automata. - Hopcroft, John E.; Ullman, Jeffrey D. (London : Addison-Wesley Publishing Company, Inc., 1969)