Marsha Chechik Wei Ding Lightweight reasoning about program correctness. 1 2001 conf/cascon/2001 CASCON http://doi.acm.org/10.1145/782096.782097 db/conf/cascon/cascon2001.html#ChechikD01