Programming Language Semantics Denotational Semantics Chapter 5 Part III Based on a lecture by Martin Abadi.