Michael Levison Editing Mathematical Formulae. 189-195 1983 13 Softw., Pract. Exper. 2 db/journals/spe/spe13.html#Levison83