Design pattern implementation in Java and aspectJ
Formalizing design patterns