B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-52, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

M. Finifter, A. Mettler, N. Sastry, and D. Wagner, Verifiable functional purity in java, Proceedings of the 15th ACM conference on Computer and communications security, CCS '08, pp.27-31, 2008.
DOI : 10.1145/1455770.1455793

G. Donald and N. James, Dynamic ownership in a dynamic language, Proceedings of the 2007 Symposium on Dynamic Languages, pp.41-52, 2007.

J. Hogg, Islands: aliasing protection in object-oriented languages, Proceedings of the 6th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'91, pp.271-285, 1991.

P. S. Almeida, Balloon types: Controlling sharing of state in data types, Proceedings of ECOOP '97, pp.32-59, 1997.
DOI : 10.1007/BFb0053373

D. G. Clarke, J. M. Potter, and J. Noble, Ownership types for flexible alias protection, Proceedings OOPSLA '98, pp.48-64, 1998.
DOI : 10.1145/286942.286947
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2115

J. Boyland, J. Noble, and W. Retert, Capabilities for sharing, a generalisation of uniqueness and read-only, In: Lecture Notes In Computer Science, p.2072, 2001.

J. Noble, J. Vitek, and J. Potter, Flexible alias protection, ECOOP '98 ? Object-Oriented Programming, 12th European Conference, pp.158-185, 1998.
DOI : 10.1007/BFb0054091
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.4971

J. Noble, D. Clarke, and J. Potter, Object ownership for dynamic alias protection, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32, pp.176-187, 1999.
DOI : 10.1109/TOOLS.1999.809424
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.5706

H. Hakonen, V. Leppänen, T. Raita, T. Salakoski, and J. Teuhola, Improving object integrity and preventing side effects via deeply immutable references, Fenno-Ugric Symposium on Software Technology, pp.139-150, 1999.

M. S. Miller and J. S. Shapiro, Paradigm Regained: Abstraction Mechanisms for Access Control, Proceedings of the Eigth Asian Computing Science Conference, pp.224-242, 2003.
DOI : 10.1007/978-3-540-40965-6_15

P. W. Fong and C. Zhang, Capabilities as alias control: Secure cooperation in dynamically extensible systems, 2004.

M. S. Miller, Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, 2006.

A. Birka and M. D. Ernst, A practical type system and language for reference immutability, Proceedings of OOPSLA, pp.35-49, 2004.

N. Schärli, S. Ducasse, O. Nierstrasz, and R. Wuyts, Composable Encapsulation Policies, Proceedings of European Conference on Object-Oriented Programming, pp.26-50, 2004.
DOI : 10.1007/978-3-540-24851-4_2

N. Schärli, A. P. Black, and S. Ducasse, Object-oriented encapsulation for dynamically typed languages, Proceedings of 18th International Conference on Object-Oriented Programming Systems, Languages and Applications, pp.130-149, 2004.
DOI : 10.1145/1035292.1028988

A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts, Stateful traits and their formalization, Computer Languages, Systems & Structures, vol.34, issue.2-3, pp.83-108, 2008.
DOI : 10.1016/j.cl.2007.05.003

D. P. Friedman and M. Wand, Reification, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.348-355, 1984.
DOI : 10.1145/800055.802051

A. Lienhard, Dynamic Object Flow Analysis, it - Information Technology, vol.52, issue.6, 2008.
DOI : 10.1524/itit.2010.0615

M. Haupt and H. Schippers, A Machine Model for Aspect-Oriented Programming, Proceedings of European Conference on Object-Oriented Programming, pp.501-524, 2007.
DOI : 10.1007/978-3-540-73589-2_24

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

G. A. Pascoe, Encapsulators: a new software paradigm in Smalltalk-80, Proceedings OOPSLA '86, pp.341-346, 1986.
DOI : 10.1145/960112.28731

M. Flatt, S. Krishnamurthi, and M. Felleisen, A Programmer???s Reduction Semantics for Classes and Mixins, 1999.
DOI : 10.1007/3-540-48737-9_7

M. Denker, S. Ducasse, and É. Tanter, Runtime bytecode transformation for Smalltalk, Computer Languages, Systems & Structures, vol.32, issue.2-3, pp.125-139, 2006.
DOI : 10.1016/j.cl.2005.10.002
URL : https://hal.archives-ouvertes.fr/inria-00556474

S. Ducasse, Evaluating message passing control techniques in Smalltalk, Journal of Object- Oriented Programming (JOOP), vol.12, issue.6, pp.39-44, 1999.

R. Hirschfeld, P. Costanza, and O. Nierstrasz, Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, 2008.
DOI : 10.5381/jot.2008.7.3.a4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.3310

M. Denker, M. Suen, and S. Ducasse, The Meta in Meta-object Architectures, Proceedings of TOOLS EUROPE, pp.218-237, 2008.
DOI : 10.1007/978-3-540-69824-1_13
URL : https://hal.archives-ouvertes.fr/inria-00271286

R. Ierusalimschy and N. De-la-rocque-rodriguez, Side-effect free functions in object-oriented languages, Computer Languages, vol.21, issue.3-4, pp.129-146, 1995.
DOI : 10.1016/0096-0551(95)00008-9

P. Costanza and R. Hirschfeld, Language constructs for context-oriented programming, Proceedings of the 2005 conference on Dynamic languages symposium , DLS '05, pp.1-10, 2005.
DOI : 10.1145/1146841.1146842

A. Warth and A. Kay, Worlds: Controlling the Scope of Side Effects, Viewpoints Research, vol.2, issue.3, 2008.
DOI : 10.1145/1408681.1408684

É. Tanter, Contextual values, Proceedings of the 2008 symposium on Dynamic languages, DLS '08, 2008.
DOI : 10.1145/1408681.1408684

S. Hanenberg, R. Hirschfeld, and R. Unland, Morphing aspects, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.46-55, 2004.
DOI : 10.1145/976270.976278

H. Schippers, D. Janssens, M. Haupt, and R. Hirschfeld, Delegation-based semantics for modularizing crosscutting concerns, OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, pp.525-542, 2008.

M. Flatt, S. Krishnamurthi, and M. Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.171-183, 1998.
DOI : 10.1145/268946.268961

M. Felleisen and R. Hieb, The revised report on the syntactic theories of sequential control and state, Theoretical Computer Science, vol.103, issue.2, pp.235-271, 1992.
DOI : 10.1016/0304-3975(92)90014-7