An algebra of graphs and graph rewriting (1991)

by A CORRADINI, U MONTANARI
Venue:Category Theory and Computer Science