Ulrike GolasBooksAnalysis and Correctness of Algebraic Graph and Model TransformationsGraph and Model TransformationAuthor data: Open Library