Analysis and Correctness of Algebraic Graph and Model Transformations - Ulrike Golas (Springer Vieweg)