Abstract Graph Derivations in the Double-Pushout Approach (1994)

by A Corradini, H Ehrig, M Löwe, U Montanari, F Rossi
Venue:Proceedings of the Dagstuhl Seminar 9301 on Graph Transformations in Computer Science, volume 776 of LNCS