A Logical View of Composition and Refinement.

Martn Abadi, Gordon D. Plotkin

Browse the full POPL paper archive.