Logical Support for Modularisation (1993)

by R Diaconescu, J A Goguen, P Stefaneas
Venue:Logical Environment