A logical view of composition and re nement (1991)

by Mart n Abadi, Gordon Plotkin
Venue:In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages