J. H. Andrews, Process-Algebraic Foundations of Aspect-Oriented Programming, Proc. of the 3rd Int
DOI : 10.1007/3-540-45429-2_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3405

T. Colcombet and P. Fradet, Enforcing trace properties by program transformation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.54-66, 2000.
DOI : 10.1145/325694.325703
URL : https://hal.archives-ouvertes.fr/inria-00000937

H. Comon, Disunification: A survey In Computational Logic: Essays in Honor of Alan Robinson, 1991.

R. Douence, P. Fradet, and M. Südholt, A Framework for the Detection and Resolution of Aspect Interactions, Proc. of the Conf. 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

R. Douence, P. Fradet, and M. Südholt, Trace-based aspects, Aspect-Oriented Software Development, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000947

R. Douence, O. Motelet, and M. Südholt, A formal definition of crosscuts, Proc. of the 3rd Int. Conf. on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection), volume 2192 of LNCS, pp.170-186, 2001.
DOI : 10.1007/3-540-45429-2_13

A. P. Felty and K. S. Namjoshi, Feature specification and automated conflict detection, ACM Transactions on Software Engineering and Methodology, vol.12, issue.1, pp.3-27, 2003.
DOI : 10.1145/839268.839270

R. E. Filman and K. Havelund, Realizing aspects by transforming for events, IEEE Automated Software Engineering (ASE), 2002.

R. Jagadeesan, A. Jeffrey, and J. Riely, A Calculus of Untyped Aspect-Oriented Programs, Proc. of ECOOP 2003, pp.415-427, 2003.
DOI : 10.1007/978-3-540-45070-2_4

G. Kiczales, Aspect-oriented programming, Proc. of ECOOP, pp.220-242, 1997.

J. Kienzle, Y. Yu, and J. Xiong, On composition and reuse of aspects, Proc. of the 2nd Foundations of Aspect-oriented Languages Workshop at AOSD 2003, pp.17-24, 2003.

D. Sereni and O. De-moor, Static analysis of aspects, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.30-39, 2003.
DOI : 10.1145/643603.643607

M. Sihman and S. Katz, Superimpositions and Aspect-oriented Programming, The Computer Journal, vol.46, issue.5, pp.529-541, 2003.
DOI : 10.1093/comjnl/46.5.529
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3434

D. B. Tucker and S. Krishnamurthi, Pointcuts and advice in higher-order languages, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.158-167, 2003.
DOI : 10.1145/643603.643620

K. D. Volder, Aspect-Oriented Logic Meta Programming, Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, pp.250-272, 1999.
DOI : 10.1007/3-540-48443-4_22

D. Walker, S. Zdancewic, and J. Ligatti, A theory of aspects, Proc. of the Int. Conf. on Functional Programming, 2003.

R. J. Walker and G. C. Murphy, Joinpoints as ordered events: Towards applying implicit context to aspect-orientation, Proc. Int. WS on Advanced Separation of Concerns at ICSE, 2001.

M. Wand, G. Kiczales, and C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, FOOL 9, pp.67-88, 2002.
DOI : 10.1145/1018203.1018208