Foundations of computer science - Ullman, Jeffrey D; Aho, Alfred V (Computer Science Press, 1992)