An Implementation-Oriented Semantics for Module Composition (1997)

by Joseph Goguen , Will Tracz
Citations:32 - 14 self