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