Formal languages and their relation to automata - Hopcroft, John E., 1939- (Addison-Wesley series in computer science and information processing / Michael A. Harrison, Richard S. Varga, 1969)