Logical support for modularization (1991)

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