Aspect-Oriented Programming with the E Verification Language door David Robinson