Aspect-Oriented Software Development, chapter Aspect-Oriented Programming is Quantification and Obliviousness (2005)

by R E Filman, D P Friedman