C. Clifton and G. Leavens, Observers and assistants: A proposal for modular aspect-oriented reasoning, Proc. of the nternational Workshop on Foundations of Aspect-Oriented Languages, 2002.

C. Disenfeld and S. Katz, A closer look at aspect interference and cooperation, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12, 2012.
DOI : 10.1145/2162049.2162063
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.476

R. Douence, P. Fradet, and M. Südholt, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings of the 1st ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, pp.173-188, 2002.
DOI : 10.1007/3-540-45821-2_11
URL : https://hal.archives-ouvertes.fr/inria-00000950

S. Liang, P. Hudak, and M. Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.333-343, 1995.
DOI : 10.1145/199448.199528
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268

H. Masuhara, G. Kiczales, and C. Dutchyn, A Compilation and Optimization Model for Aspect-Oriented Programs, Proceedings of Compiler Construction (CC2003), volume 2622 of Lecture Notes in Computer Science, pp.46-60, 2003.
DOI : 10.1007/3-540-36579-6_4

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

M. Rinard, A. Salcianu, and S. Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM Symposium on Foundations of Software Engineering (FSE 12), pp.147-158, 2004.

T. Schrijvers and B. C. Oliveira, Monads, zippers and views: virtualizing the monad stack, Proceedings of the 16th ACM SIGPLAN Conference on Functional Programming, pp.32-44, 2011.
DOI : 10.1145/2034773.2034781

M. Störzer, R. Sterr, and F. Forster, Detecting Precedence-Related Advice Interference, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), 2006.
DOI : 10.1109/ASE.2006.32

N. Tabareau, I. Figueroa, and É. Tanter, A typed monadic embedding of aspects, Proceedings of the 12th annual international conference on Aspect-oriented software development, AOSD '13, 2013.
DOI : 10.1145/2451436.2451457
URL : https://hal.archives-ouvertes.fr/hal-00763695

É. 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

É. Tanter, P. Moret, W. Binder, and D. Ansaloni, Composition of dynamic analysis aspects, Proceedings of the 9th ACM SIGPLAN International Conference on Generative Programming and Component Engineering, pp.113-122, 2010.

É. Tanter, N. Tabareau, and R. Douence, Taming aspects with membranes, Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL '12, pp.3-8, 2012.
DOI : 10.1145/2162010.2162014
URL : https://hal.archives-ouvertes.fr/hal-00690706

K. Tian, K. Cooper, K. Zhang, and S. Liu, Towards a New Understanding of Advice Interference, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010.
DOI : 10.1109/SSIRI.2010.18

K. Tian, K. Cooper, K. Zhang, and H. Yu, A Classification of Aspect Composition Problems, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009.
DOI : 10.1109/SSIRI.2009.33