Fundamentals of algebraic graph transformation
Hartmut Ehrig, Kasten Ehrig, Urlike Prange, Gabriele Taentzer