M. Abadi and L. Cardelli, A semantics of object types, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.332-341, 1994.
DOI : 10.1109/LICS.1994.316056

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

R. Burstall, Proving Properties of Programs by Structural Induction, The Computer Journal, vol.12, issue.1, pp.41-48, 1969.
DOI : 10.1093/comjnl/12.1.41

R. Burstall and P. J. Landin, Programs and their proofs: an algebraic approach, Machine Intelligence, vol.4, pp.17-43, 1969.

R. William and . Cook, Object-oriented programming versus abstract data types, Foundations of Object-Oriented Languages, pp.151-178, 1990.

W. R. Cook, W. Hill, and P. S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.125-135, 1990.
DOI : 10.1145/96709.96721

H. B. Curry, On the composition of programs for automatic computing, 1949.

O. Dahl and C. A. Hoare, Hierarchical program structures, Structured programming, pp.175-220, 1972.

O. Dahl and K. Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966.
DOI : 10.1145/365813.365819

M. Liesbeth-de-mol, M. Carlé, and . Bullyinck, Haskell before Haskell: an alternative lesson in practical logics of the ENIAC, Journal of Logic and Computation, vol.25, issue.4, pp.1011-1046, 2015.
DOI : 10.1093/logcom/exs072

M. Gabbrielli and S. Martini, Programming Languages: Principles and Paradigms. Undergraduate Topics in Computer Science, 2010.

J. Goguen, Some comments on data abstraction. Notes for a course at ETH Zurich, 1973.

A. Goldberg and A. Kay, Smalltalk-72 instruction manual, 1976.

J. Guttag, The specification and application to programming of Abstract Data Types, 1975.

C. A. Hoare, Record handling, ALGOL Bull, vol.21, pp.39-69, 1965.

C. A. Hoare, Notes on data structuring, Structured programming, pp.83-174, 1972.

C. A. Hoare, Proof of correctness of data representation, Acta Informatica, pp.271-281, 1972.

A. William and . Howard, The formulae-as-types notion of construction, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp.479-490, 1980.

B. Liskov, A. Snyder, R. Atkinson, and C. Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, vol.20, issue.8, pp.564-576, 1977.
DOI : 10.1145/359763.359789

B. Liskov and S. Zilles, Programming with abstract data types, Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, pp.50-59, 1972.

S. Martini, Several types of types in programming languages. Paper presented at HAPOC 2015
URL : https://hal.archives-ouvertes.fr/hal-01399694

J. Mccarthy, A basis for a mathematical theory of computation, preliminary report, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference on, IRE-AIEE-ACM '61 (Western), pp.225-238, 1961.
DOI : 10.1145/1460690.1460715

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978.
DOI : 10.1016/0022-0000(78)90014-4

J. H. Morris, Types are not sets, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '73, pp.120-124, 1973.
DOI : 10.1145/512927.512938

D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-58, 1972.
DOI : 10.1145/361598.361623

A. J. Perlis and K. Samelson, Preliminary report, Communications of the ACM, vol.1, issue.12, pp.8-22, 1958.
DOI : 10.1145/377924.594925

M. Priestley, A Science of Operations. Machines, Logic and the Invention of Programming, 2011.

S. Uday and . Reddy, Objects of closures: Abstract semantics of object oriented languages, ACM Conference on Lisp and functional programming, 1988.

C. John and . Reynolds, Towards a theory of type structure, Programming Symposium , Proceedings. Colloque sur la programmation, pp.408-423, 1974.

R. L. Sites, Algol W reference manual, 1972.