The Existence of Refinement Mappings

Martn Abadi, Leslie Lamport

Browse the full LICS paper archive.