RebĂȘlo, Soares, Lima, Ferreira, CornĂ©lio, 2008. Implementing Java modeling language contracts with AspectJ, in: . ACM Press.. https://doi.org/10.1145/1363686.1363745