Foundations of computer science - Aho, Alfred V. 1941-; Ullman, Jeffrey D. 1942- (Principles of computer science series, 1995)