Mohamed ElBendary and John Boyland University of Wisconsin-Milwaukee.
A Formal Model of Modularity in Aspect-Oriented Programming Jonathan Aldrich 15-819: Objects and Aspects Carnegie Mellon University.