Operational Reasoning and Denotational Semantics. AIM-264.

purl.stanford.edu/mg771gp7582