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