J. Aldrich, Open Modules: Modular Reasoning About Advice, number 3586 in LNCS, pp.144-168, 2005.
DOI : 10.1007/11531142_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.1610

M. Bagherzadeh, H. Rajan, G. T. Leavens, and S. Mooney, Translucid contracts, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, pp.141-152, 2011.
DOI : 10.1145/1960275.1960293

G. Boudol, A Generic Membrane Model (Note), Global Computing Workshop, pp.208-222, 2005.
DOI : 10.1007/3-540-47959-7_3

C. Dutchyn, D. B. Tucker, and S. Krishnamurthi, Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, vol.63, issue.3, pp.207-239, 2006.
DOI : 10.1016/j.scico.2006.01.003

J. Fabry and D. Galdames, PHANtom, Proceedings of the International Workshop on Smalltalk Technologies, IWST '11, 2011.
DOI : 10.1145/2166929.2166939

W. G. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari et al., Modular software design with crosscutting interfaces, IEEE Software, vol.23, issue.1, pp.51-60, 2006.
DOI : 10.1109/MS.2006.24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.394.3927

M. Inostroza, É. Tanter, and E. Bodden, Join point interfaces for modular reasoning in aspect-oriented programs, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.508-511, 2011.
DOI : 10.1145/2025113.2025205

B. C. Oliveira, T. Schrijvers, and W. R. Cook, EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.109-120, 2010.
DOI : 10.1145/1739230.1739244

H. Rajan and G. T. Leavens, Ptolemy: A Language with Quantified, Typed Events, number 5142 in LNCS, pp.155-179, 2008.
DOI : 10.1007/978-3-540-70592-5_8

A. Schmitt and J. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, pp.146-178, 2005.
DOI : 10.1007/3-540-45694-5_19

F. Steimann, T. Pawlitzki, S. Apel, and C. Kästner, Types and modularity for implicit invocation with implicit announcement, ACM Transactions on Software Engineering and Methodology, vol.20, issue.1, 2010.
DOI : 10.1145/1767751.1767752

É. Tanter, Expressive scoping of dynamically-deployed aspects, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.168-179, 2008.
DOI : 10.1145/1353482.1353503

É. Tanter, Execution levels for aspect-oriented programming, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.37-48, 2010.
DOI : 10.1145/1739230.1739236
URL : https://hal.archives-ouvertes.fr/hal-00872786

É. Tanter, P. Moret, W. Binder, and D. Ansaloni, Composition of dynamic analysis aspects, GPCE 2010, pp.113-122, 2010.

É. Tanter, N. Tabareau, and R. Douence, Exploring membranes for controlling aspects, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00592133