The following publications are possibly variants of this publication:
- AspectJML: modular specification and runtime checking for crosscutting contractsHenrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm. AOSD 2014: 157-168 [doi]
- Identifying and specifying crosscutting contracts with AspectJMLHenrique Rebêlo. OOPSLA 2013: 115-116 [doi]
- Modular Reasoning for Crosscutting Concerns with ContractsThomas Thüm. se 2014: 65-66
- Enabling expressive aspect oriented modular reasoning by translucid contractsMehdi Bagherzadeh. OOPSLA 2010: 227-228 [doi]
- Translucid contracts: expressive specification and modular verification for aspect-oriented interfacesMehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney. AOSD 2011: 141-152 [doi]
- Modularizing crosscutting concerns with PtolemyHridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh. AOSD 2011: 61-62 [doi]