The existence of refinement mappings (1991)

by M Abadi, L Lamport
Venue:Theoretical Computer Science