The category of sketches as a model for algebraic semantics (1989)

by J W Gray
Venue:Categories in Computer Science and Logic, number 92 in Contemporary Mathematics