Foundations Of Computer Science - Alfred V. Aho (Computer Science Press, 1992)