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