Patrick Lam Viktor Kuncak Martin C. Rinard Crosscutting techniques in program specification and analysis. 169-180 2005 conf/aosd/2005 AOSD http://doi.acm.org/10.1145/1052898.1052913 db/conf/aosd/aosd2005.html#LamKR05