"Analysis and Correctness of Algebraic Graph and Model Transformations" - читать интересную книгу автора (Ulrike Golas)