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