W.: An Implementation-Oriented Semantics for Module Composition (2000)

by J A Goguen, Tracz
Venue:Foundations of Component-Based Systems