![]() |
@article{DBLP:journals/tcs/GoguenB84,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation.
Part 1: Comma Categories, Colimits, Signatures and Theories},
journal = {Theor. Comput. Sci.},
volume = {31},
year = {1984},
pages = {175-209},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-19 by Michael Ley (ley@uni-trier.de)