Analysis and Correctness of Algebraic Graph and Model Transformations - Golas, Ulrike (Vieweg+Teubner, 2011)