Robert A. Day Typesetting Mathematics on Multi-Access Systems. 131-138 1983 13 Softw., Pract. Exper. 2 db/journals/spe/spe13.html#Day83