M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

J. Bézivin, F. Jouault, and P. Valduriez, On the need for megamodels, OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development, 2004.

G. Bierman and A. Wren, First-Class Relationships in an Object-Oriented Language, Foundations of Object- Oriented Languages (FOOL 2005), 2005.
DOI : 10.1007/11531142_12

X. Blanc, M. P. Gervais, and P. Sriplakich, Model Bus: Towards the Interoperability of Modelling Tools, Model Driven Architecture: Foundations and Applications, 2004.
DOI : 10.1007/11538097_2

K. B. Bruce, Some Challenging Typing Issues in Object-Oriented Languages, Electronic Notes in Theoretical Computer Science, vol.82, issue.8, pp.1-29, 2003.
DOI : 10.1016/S1571-0661(04)80799-0

K. B. Bruce, A. Schuett, R. Van-gent, and A. Fiech, PolyTOIL, ACM Transactions on Programming Languages and Systems, vol.25, issue.2, pp.225-290, 2003.
DOI : 10.1145/641888.641891

K. B. Bruce and J. Vanderwaart, Semantics-Driven Language Design:, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.
DOI : 10.1016/S1571-0661(04)80066-5

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. J. Grose, Eclipse Modeling Framework Eclipse Series, 2003.

K. Duddy, A. Gerber, M. J. Lawley, K. Raymond, and J. Steel, Model transformation: a declarative, reusable patterns approach, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings., pp.174-195, 2003.
DOI : 10.1109/EDOC.2003.1233847

K. Duddy, A. Gerber, M. J. Lawley, K. Raymond, and J. Steel, Declarative Transformation for Object-Oriented Models, Transformation of Knowledge, Information , and Data: Theory and Applications. Idea Group Publishing, 2004.
DOI : 10.4018/978-1-59140-527-6.ch006

J. Edwards, D. Jackson, and E. Torlak, A type system for object models, SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT 12th International Symposium on Foundations of Software Engineering pp, pp.189-199, 2004.

E. Ernst, Family Polymorphism, ECOOP '01: Proceedings of the 15th European Conference on Object-oriented Programming, pp.303-326, 2001.
DOI : 10.1007/3-540-45337-7_17

A. Gerber, M. J. Lawley, K. Raymond, J. Steel, and A. Wood, Transformation: The Missing Link of MDA, Proceedings of 1st International Conference on Graph Transformation, ICGT'02, pp.90-105, 2002.
DOI : 10.1007/3-540-45832-8_9

W. Lalonde and J. Pugh, Subclassing = subtyping = is-a, J. Object-Oriented Program, vol.3, issue.5, pp.57-62, 1991.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Lecture Notes in Computer Science, vol.3713, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

S. Sendall, Combining generative and graph transformation techniques for model transformation: an effective alliance?, Proceedings of 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, 2003.

J. Steel and M. Lawley, Model-Based Test Driven Development of the Tefkat Model-Transformation Engine, 15th International Symposium on Software Reliability Engineering, pp.151-160, 2004.
DOI : 10.1109/ISSRE.2004.23

S. Tobin-hochstadt and E. Allen, A core calculus of metaclasses, In: Fundamentals of Object-Oriented Languages (FOOL), 2005.