Aspect-Oriented Programming with the e Verification Language by David Robinson | Lex | Lex