2 works on record
Analysis and Correctness of Algebraic Graph and Model Transformations
Graph and Model Transformation