Alfred V. Aho Ravi Sethi Maintaining Cross References in Manuscripts. 1-13 1988 18 Softw., Pract. Exper. 1 db/journals/spe/spe18.html#AhoS88