Assistants and observers: A proposal for modular aspect-oriented reasoning (2002)

by C Clifton, G T Leavens
Venue:In Foundations of Aspect Languages