Pointcuts and advice in higher-order languages. - David B. Tucker; Shriram Krishnamurthi (AOSD, 2003)

Semantics and scoping of aspects in higher-order languages. - Christopher Dutchyn; David B. Tucker; Shriram Krishnamurthi (Sci. Comput. Program., 2006)