P. America, Object oriented programming: a theoretician's introduction, 1988.

S. Black, Objects and LOTOS, 1989.

J. Blom, Formalisation of requirements with emphasis on feature interaction detection, Feature Interactions In Telecommunications IV, 1997.

L. G. Bouma and H. Velthuijsen, Feature Interactions In Telecommunications, 1994.

R. Breu, Algebraic Specification Techniques in Object Oriented Programming Environments, Lecture Notes in Computing Science, vol.562, 1991.
DOI : 10.1007/3-540-54972-2

E. J. Cameron, N. D. Griffeth, Y. Lin, M. E. Nilson, and W. K. Schnure, A feature-interaction benchmark for IN and beyond, Feature Interactions In Telecommunications, 1994.
DOI : 10.1109/35.199613

K. E. Cheng and T. Ohta, Feature Interactions In Telecommunications III, 1995.

R. Clark, Using LOTOS in the object based development of embedded systems, The Unified Computation Laboratory. The Institute of Mathematics and its Applications, 1991.

E. Cusack, Formal Object Oriented Specification of Distributed Systems, Specification and Verification of Concurrent Systems, 1988.
DOI : 10.1007/978-1-4471-3534-0_3

T. B. Dinesh, Object-Oriented Programming: Inheritance to Adoption, 1992.

J. Gibson, Formal Object Oriented Development of Software Systems Using LOTOS, 1993.

J. Gibson, J. A. , and L. , Applying formal object oriented design principles to Smalltalk-80, British Telecom Technology Journal, 3. interactions. In Feature Interactions In Telecommunications IV, 1989.

M. Gibson and . Méry, Feature interactions: A mixed semantic model approach, Irish Workshop on Formal Methods, 1997.

P. Gibson and Y. Mokhtari, Pots: An OO LOTOS specification, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00098729

M. Jackson, System Development, 1983.
URL : https://hal.archives-ouvertes.fr/hal-01472305

M. Lai and E. Cusack, Object oriented specification in LO- TOS and Z or, my cat really is object oriented, J. W, 1991.

K. Lee, S. Rudkin, C. , and K. , Specification of a sieve object in objective LOTOS, 1990.

T. Mayr, Specification of object oriented systems in LO- TOS, The 1st International Conference on Formal Description Techniques, 1988.

K. Orr, Structured Systems Development, 1977.

M. Papathomas, Language Design Rationale and Semantic Framework for Concurrent Object-Oriented Programming, 1992.

H. Prehofer, An object oriented approach to feature interaction, Feature Interactions In Telecommunications IV, 1997.

K. Raymond, P. Stocks, and D. Carrington, Specifying ODP systems in Z, 1990.

H. Rochefort, An exercise in using constructive proof systems to address feature interactions, Feature Interactions In Telecommunications IV, 1997.

S. Rudkin, Inheritance in LOTOS, Formal Description Techniques IV, 1991.
DOI : 10.1016/B978-0-444-89402-1.50037-0

K. Turner, An architectural foundation fo relating features, Feature Interactions In Telecommunications IV, 1997.

W. Van-hulzen, Object oriented specification style in LO- TOS. Lo/wp1, 1989.

H. Veldhuijsen, Issues of non-montonicity in feature interaction detection, Feature Interactions In Telecommunications III, 1995.

D. Walker, ??-Calculus semantics of object-oriented programming languages, 1990.
DOI : 10.1007/3-540-54415-1_63

P. Wegner, Dimensions of object-based language design, Special Issue of SIGPLAN notices, pp.168-183, 1987.

M. Wolczko, Semantics of Object-Oriented Languages, 1988.

P. Yelland, First Steps Towards Fully Abstract Semantics for Object-Oriented Languages, Proceeedings of the 1989 European Conference on Object Oriented Programming, pp.347-367, 1989.
DOI : 10.1093/comjnl/32.4.290

P. Zave, Feature interactions and formal specifications in telecommunications, Computer, vol.26, issue.8, pp.18-23, 1993.
DOI : 10.1109/2.223539