Semantics of programming languages - Tennent, R. D. (Prentice-Hall international series in computer science, 1991)