Logical Support for Modularisation. In Papers presented at the second annual Workshop on Logical environments (1993)

by R Diaconescu, J Goguen, P Stefaneas