Semantics of programming languages - Tennent, R. D. (Prentice Hall, 1991)