Return to Article Details Generating Correctness-Preserving Editing Operations for Diagram Editors Download Download PDF