Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney. Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. In Paulo Borba, Shigeru Chiba, editors, Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011. pages 141-152, ACM, 2011. [doi]