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

by A Corradini, U Montanari, F Rossi, H Ehrig, R Heckel, M Löwe
Venue:In Handbook of Graph Grammars