Logical support for modularisation (1991)

by R Diaconescu, J Goguen, P Stefaneas
Venue:Proceedings of a Workshop on Logical Frameworks