Principles of programming languages - Tennent, R. D. (Prentice-Hall, 1981)