Transactions on aspect-oriented software development IX - Leavens, Gary T. (Springer,, 2012)