Samuel S. Dooley Editing mathematical content and presentation markup in interactive mathematical documents. 55-62 2002 conf/issac/2002 ISSAC http://doi.acm.org/10.1145/780506.780514 db/conf/issac/issac2002.html#Dooley02