Colin C. Charlton Paul H. Leng Aids for Pragmatic Error Detection. 59-66 1983 13 Softw., Pract. Exper. 1 db/journals/spe/spe13.html#CharltonL83