Colimits of order-sorted specifications (1998)

by T Mossakowski
Venue:12th Workshop on Algebraic Development Techniques, LNCS