On the role of category theory in the area of algebraic specification (1995)

by H Ehrig, M Grosse-Rhode, U Wolter
Venue:In Recent Trends in Algebraic Development Techniques, volume 1130 of Lecture Notes in Computer Science