An algebra of graph derivations using finite (co-)limit double theories (1999)

by A Corradini, M Groe-Rhode, R Heckel
Venue:In Recent Developments in Algebraic Development Techniques, Selected Papers, volume 1589 of LNCS