Axiomatic Definitions of Programming Languages: A Theoretical Assessment.

Albert R. Meyer, Joseph Y. Halpern

Browse the full POPL paper archive.