Title: Aspect-Oriented Programming with the e Verification Language
Subjects: Aspect-oriented programming