Mantz, F.; Taentzer, G.; Lamo, Y. Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping. eceasst 2013, 61.