Joseph A. Goguen, Rod M. Burstall. Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. Theoretical Computer Science, 31:175-209, 1984.
@article{GoguenB84,
title = {Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories},
author = {Joseph A. Goguen and Rod M. Burstall},
year = {1984},
tags = {semantics, algebra},
researchr = {https://researchr.org/publication/GoguenB84},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {31},
pages = {175-209},
}