Semantics and scoping of aspects in higher-order languages

Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi. Semantics and scoping of aspects in higher-order languages. Science of Computer Programming, 63(3):207-239, 2006. [doi]