Observers and assistants: A proposal for modular aspectoriented reasoning (2002)

by C Clifton, G T Leavens
Venue:In Proceedings of the 2002 Workshop on Foundations of Aspect-Oriented Languages