Some fundamental algebraic tools for the semantics of computation–part 1: Comma categories, colimits, signatures and theories (1984)

by J A Goguen, R M Burstall
Venue:Theoretical Computer Science