An Aspect for Design by Contract in Java. - Sérgio Agostinho; Pedro Guerreiro; Hugo Taborda (MSVVEIS, 2008)