Fundamentals of Algebraic Graph Transformation - Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele (Springer Berlin Heidelberg, 2006)