S. Mazanek and M. Minas, “Generating Correctness-Preserving Editing Operations for Diagram Editors”, eceasst, vol. 18, Sep. 2009.