Module Composition and System Design for the Object Paradigm.

Joseph A. Goguen Adolfo Socorro Module Composition and System Design for the Object Paradigm. 47-55 1995 7 JOOP 9 db/journals/joop/joop7.html#GoguenS95