The theory of parsing, translation, and compiling - Aho, Alfred V. 1941-; Ullman, Jeffrey D. 1942- (Prentice-Hall series in automatic computation, 1973)