Title: Aspect-Oriented Programming with the e  Verification Language
Subjects: Object-oriented programming (Computer science), Object-oriented programming (computer science), Aspect-oriented programming