Mazanek, S. and Minas, M. (2009) “Generating Correctness-Preserving Editing Operations for Diagram Editors”, Electronic Communications of the EASST, 18. doi: 10.14279/tuj.eceasst.18.262.