Aspect-Oriented Programming with the e Verification Language

Takes a pragmatic, example based approach to unraveling the mysteries of AOP. This book helps to learn how to: use AOP to organize your code in a way that makes it easy to deal with the things you really care about in your verification environments.