The formal description of data types using sketches (1988)

by Charles Wells, M Barr
Venue:In Mathematical Foundations of Programming Language Semantics, Michael Main et