An inductive view of graph transformation (1997)

by F Gadducci, R Heckel
Venue:Recent Trends in Algebraic Development Techniques, LNCS 1376