]. K. Beck, Smalltalk Best Practice Patterns, Bibliography, issue.1, 1997.

A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts, Stateful Traits, Advances in Smalltalk ? Proceedings of 14th International Smalltalk Conference, pp.66-90, 2007.
DOI : 10.1007/978-3-540-71836-9_4

V. Bono, J. Ku?mierek, and M. Mulatero, Magda: A New Language for Modularity, ECOOP, pp.560-588, 2012.
DOI : 10.1007/978-3-642-31057-7_25

V. Bono and J. D. Kusmierek, FJMIP: A Calculus for a Modular Object Initialization, Fundamentals of Computation Theory, 16th International Symposium, FCT 2007 Proceedings, pp.100-112, 2007.
DOI : 10.1007/978-3-540-74240-1_10
URL : http://www.mimuw.edu.pl/~jdk/FWJavaMIP.pdf

V. Bono and J. D. Ku?mierek, Modularizing constructors., The Journal of Object Technology, vol.6, issue.9, pp.297-397, 2007.
DOI : 10.5381/jot.2007.6.9.a15
URL : http://www.jot.fm/issues/issue_2007_10/paper15.pdf

R. J. Cardone, Language and Compiler Support for Mixin Programming, 2002.

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, Second Edition, 2001.

S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. P. Black, Traits, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, pp.331-388, 2006.
DOI : 10.1145/1119479.1119483
URL : https://hal.archives-ouvertes.fr/inria-00403568

M. Fähndrich and K. R. Leino, Declaring and checking non-null types in an object-oriented language, Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp.302-312, 2003.

J. Gil and T. Shragai, Are We Ready for a Safer Construction Environment?, ECOOP 2009 -Object-Oriented Programming, 23rd European Conference Proceedings, pp.495-519, 2009.
DOI : 10.1145/1287624.1287637

A. B. Kahn, Topological sorting of large networks, Communications of the ACM, vol.5, issue.11, pp.558-562, 1962.
DOI : 10.1145/368996.369025

J. Kusmierek, A Mixin Based Object-Oriented Calculus: True Modularity in Object- Oriented Programming, 2010.

B. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

M. Martin, M. Mezini, and S. Erdweg, Template constructors for reusable object initialization, GPCE'13: Proceedings of the 12th International Conference on Generative Programming: Concepts and Experiences, pp.43-52, 2013.
DOI : 10.1145/2517208.2517212

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-52, 1992.
DOI : 10.1109/2.161279
URL : http://www.inf.ethz.ch/~meyer/publications/computer/contract.pdf

B. Meyer, Object-Oriented Software Construction, 1997.

F. Spoto, The Nullness Analyser of julia, Logic for Programming, Artificial Intelligence, and Reasoning -16th International Conference, LPAR-16, pp.405-424, 2010.
DOI : 10.1145/1709093.1709095

F. Spoto and M. D. Ernst, Inference of field initialization, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.231-240, 2011.
DOI : 10.1145/1985793.1985826

R. E. Tarjan, Edge-disjoint spanning trees and depth-first search, Acta Informatica, vol.3, issue.2, pp.171-185, 1976.
DOI : 10.1016/S0022-0000(74)80049-8

Y. Zibin, D. Cunningham, I. Peshansky, and V. A. Saraswat, Object Initialization in X10, ECOOP 2012 -Object-Oriented Programming -26th European Conference Proceedings, pp.207-231, 2012.
DOI : 10.1007/978-3-642-31057-7_10