Mantz, Florian, et al. “Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping”. Electronic Communications of the EASST, vol. 61, June 2013, doi:10.14279/tuj.eceasst.61.833.