Categorical concepts for parameterized partial specification (1995)

by I Claen, M Groe-Rhode, U Wolter
Venue:Mathematical Structures in Computer Science