Henrique Rebêlo Sérgio Soares Ricardo Massa Ferreira Lima Leopoldo Ferreira Márcio Cornélio Implementing Java modeling language contracts with AspectJ. 228-233 2008 SAC http://doi.acm.org/10.1145/1363686.1363745 conf/sac/2008 db/conf/sac/sac2008.html#RebeloSLFC08