Cite "modeless structure editing" paper

[cyrus-]

http://www.cs.ox.ac.uk/bernard.sufrin/edit.pdf

has a functional programming style definition of various things and some theorems that are reminiscent of ours

(from Tijs van der Storm via Jonathan)