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