Logical support for modularization (1993)

by R Diaconescu, J Goguen, P Stefaneas
Venue:In Logical Environments