An implementation-oriented semantics for module composition (2000)

by Joseph Goguen, William Tracz
Venue:In Gary Leavens and Murali Sitaraman, editors, Foundations of Component-based Systems