The Existence of Refinement Mappings (1988)

by Martín Abadi , Leslie Lamport
Citations:409 - 24 self