Henrique Rebêlo. Identifying and specifying crosscutting contracts with AspectJML. In Antony L. Hosking, Patrick Th. Eugster, editors, Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013 - Companion Volume. pages 115-116, ACM, 2013. [doi]