Foundations of computer science - Aho, Alfred V. (Computer Science Press, 1995)