Logical Support for Modularisation (1993)

by Razvan Diaconescu , Joseph Goguen, Petros Stefaneas
Venue:LOGICAL ENVIRONMENTS