Foundations of computer science - Aho, Alfred V. (Principles of computer science series, 1992)