On the Role of Category Theory in the Area of Algebraic Specification.

Hartmut Ehrig Martin Große-Rhode Uwe Wolter On the Role of Category Theory in the Area of Algebraic Specification. 17-48 1995 conf/compass/1995 COMPASS/ADT db/conf/compass/compass95.html#EhrigGW95