[{"text":"\n\n\nJames H. Andrews, Process-Algebraic Foundations of Aspect-Oriented Programming, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.187-209, September 25-28, 2001 \n\n","citation":"710564"},{"text":"\n\n\nDon Batory , Bart J. Geraci, Composition Validation and Subjectivity in GenVoca Generators, IEEE Transactions on Software Engineering, v.23 n.2, p.67-82, February 1997   [doi>10.1109/32.585497]\n\n","citation":"255506"},{"text":"\n\nH. Comon. Disunification: A survey. In Computational Logic: Essays in Honor of Alan Robinson. MIT Press, Cambridge, MA, 1991.\n\n"},{"text":"\n\nC. A. Constantinides, A. Bader, and T. Elrad. Separation ofconcerns in concurrent software systems. In International Workshop on Aspects and Dimensional Computing at ECOOP, 2000.\n\n"},{"text":"\n\n \nRémi Douence , Olivier Motelet , Mario Südholt, A Formal Definition of Crosscuts, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.170-186, September 25-28, 2001 \n\n","citation":"710555"},{"text":"\n\nR. Douence, O. Motelet, and M. Südholt. Sophisticated crosscuts for e-commerce. ECOOP 2001 Workshop on Advanced Separation of Concerns, June 2001.\n\n"},{"text":"\n\nK. Gybels. Aspect-oriented programming using a logic meta programming language to express cross-cutting through a dynamic joinpoint structure.\n\n"},{"text":"\n\nG. Kiczales et al. Aspect-oriented programming. In Proc. of ECOOP, volume 1241 of LNCS, pages. 220-242. Springer Verlag, 1997.\n\n"},{"text":"\n\n\nGregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001 \n\n","citation":"680006"},{"text":"\n\n\nRalf Lämmel, A semantical approach to method-call interception, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands   [doi>10.1145/508386.508392]\n\n","citation":"508392","doi":"http://doi.acm.org/10.1145/508386.508392"},{"text":"\n\n\nHanne Riis Nielson , Flemming Nielson, Semantics with applications: a formal introduction, John Wiley & Sons, Inc., New York, NY, 1992 \n\n","citation":"129085"},{"text":"\n\n\nKris De Volder , Theo D'Hondt, Aspect-Oriented Logic Meta Programming, Proceedings of the Second International Conference on Meta-Level Architectures and Reflection, p.250-272, July 19-21, 1999 \n\n","citation":"710414"},{"text":"\n\nM. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. In FOOL9, pages. 67-88, January 2002.\n\n"}]