Algebraic approaches to graph transformation I: Basic concepts and double pushout approach (1997)

by A Corradini, U Montanari, F Rossi, H Ehrig, R Heckel, M Löwe
Venue:Handbook of Graph Grammars and Computing by Graph Transformation, I: Foundations, World Scientific