Categorical concepts for parametrized partial specifications (1995)

by I Claßen, M Große-Rhode, U Wolter
Venue:Math. Struct. Comput. Sci