1
Analysis and Correctness of Algebraic Graph and Model Transformations [E-Book] /