H. P. Barendregt, The Lambda Calculus, its Syntax and Semantics, 1981.

L. Cardelli and . Programming, DEC Systems Research Center, 130 Lytton Avenue, Palo Alto CA 94301, Proc. IFIP State of the Art Seminar on Formal Description of Programming Concepts, 1989.

L. Cardelli and P. Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, vol.17, issue.4, 1985.
DOI : 10.1145/6041.6042
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.695

J. V. Guttag, J. J. Horning, and J. M. Wing, The Larch Family of Specification Languages, IEEE Software, vol.2, issue.5, 1985.
DOI : 10.1109/MS.1985.231756

W. A. 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 and J. Guttag, Abstraction and Specification in Program Development, 1986.

P. Martin-löf, Constructive Mathematics and Computer Programming, 6th Int. Congress for Logic, Methodology, and Philosophy of Science, pp.153-175, 1982.
DOI : 10.1016/S0049-237X(09)70189-2

D. B. Macqueen, Modules for standard ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, 1984.
DOI : 10.1145/800055.802036

D. Macqueen, Using dependent types to express modular structure, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '86, 1986.
DOI : 10.1145/512644.512670

D. Macqueen, G. Plotkin, and R. Sethi, An ideal model for recursive polymorphic types, Information and Control, vol.71, issue.1-2, pp.95-130, 1986.
DOI : 10.1016/S0019-9958(86)80019-5

C. John and . Mitchell, Representation independence and data abstraction (preliminary version), 13th Ann. ACM Symp. on Principles of Programming Languages, 1986.

J. C. Mitchell and R. Harper, The essence of ML, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, 1988.
DOI : 10.1145/73560.73563

J. C. Mitchell and G. D. Plotkin, Abstract types have existential type, 11th Ann. ACM Symp. on Principles of Programming Languages, 1984.
DOI : 10.1145/44501.45065

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

J. C. Reynolds, Towards a theory of type structure, Lecture Notes in Computer Science, vol.19, pp.408-425, 1974.
DOI : 10.1007/3-540-06859-7_148

N. Wirth, Programming in Modula-2, 1983.
DOI : 10.1007/978-3-642-96878-5