Karl J. Lieberherr David H. Lorenz Pengcheng Wu A case for statically executable advice: checking the law of demeter with AspectJ. 40-49 2003 AOSD http://doi.acm.org/10.1145/643603.643608 db/conf/aosd/aosd2003.html#LieberherrLW03