A formalism for the specification of essentially algebraic structures (1992)

by A J Power, Charles Wells
Venue:in 2-categories. Mathematical Structures in Computer Science