Logical support for modularization (1993)

by Razvan Diaconescu, Joseph Goguen, Petros Stefaneas
Venue:Logical Environments