An Implementation-Oriented Semantics for Module Composition (2000)

by J A Goguen, W Tracz
Venue:In Gary Leavens and Murali Sitaraman, editors, Foundations of Component-based Systems