Mantz, Florian, Gabriele Taentzer, and Yngve Lamo. 2013. “Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping”. Electronic Communications of the EASST 61 (June). https://doi.org/10.14279/tuj.eceasst.61.833.