Raffi Khatchadourian Neelam Soundarajan Rely-guarantee approach to reasoning about aspect-oriented programs. 5 2007 SPLAT http://doi.acm.org/10.1145/1233843.1233848 conf/aosd/2007splat db/conf/aosd/splat2007.html#KhatchadourianS07