Mohammed Al-Mansari Stefan Hanenberg Rainer Unland On to formal semantics for path expression pointcuts. 271-275 2008 SAC http://doi.acm.org/10.1145/1363686.1363754 conf/sac/2008 db/conf/sac/sac2008.html#Al-MansariHU08