Aspect-Oriented Programming with the e Verification Language | lit.salon