J. Aldrich, Open Modules: Modular Reasoning About Advice, ECOOP 2005, pp.144-168
DOI : 10.1007/11531142_7

P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták et al., abc, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.293-334, 2006.
DOI : 10.1145/1052898.1052906

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

I. Figueroa and É. Tanter, A semantics for execution levels with exceptions, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL '11, 2011.
DOI : 10.1145/1960510.1960513

C. Hofer and K. Ostermann, On the relation of aspects and monads, Proceedings of the 6th workshop on Foundations of aspect-oriented languages , FOAL '07, 2007.
DOI : 10.1145/1233833.1233838

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

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
DOI : 10.1145/1739230.1739244

N. Tabareau, A monadic interpretation of execution levels and exceptions for AOP, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12, 2012.
DOI : 10.1145/2162049.2162059

URL : https://hal.archives-ouvertes.fr/inria-00592132

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

URL : https://hal.archives-ouvertes.fr/hal-00872786

S. Tobin-hochstadt and M. Felleisen, The design and implementation of Typed Scheme, POPL 2008, pp.395-406