Prabhaker Mateti Joxan Jaffar A Correctness Proof of an Indenting Program. 199-226 1983 13 Softw., Pract. Exper. 3 db/journals/spe/spe13.html#MatetiJ83