Specifying Programming Language Semantics.

Irene Greif, Albert R. Meyer

Browse the full POPL paper archive.