Programming Language Semantics Axiomatic Semantics
Programming Language Semantics Axiomatic Semantics Chapter 6.