S. Fechter, O. Boite, and . Bbfoc, Rapport de recherche LIP6, 2004.

S. Fechter and C. Dubois, Vers une définition formelle du langage Foc, 2004.

[. Fechter, Une sémantique pour FoC, 2001.

[. Fechter, An object-oriented model for the certified computer algebra library. Paper presented at FMOODS 2002 PhD workshop, 2002.

T. Hirschowitz and X. Leroy, Mixin modules in a call-by-value setting, European Symposium on Programming, pp.6-20, 2002.
DOI : 10.1145/1086642.1086644
URL : https://hal.archives-ouvertes.fr/hal-00310119

V. Prevosto and D. Doligez, Inheritance of algorithms and proofs in the computer algebra library foc, Journal of Automated Reasoning, vol.29, issue.3/4, pp.337-363, 2002.
DOI : 10.1023/A:1021979218446

V. Prevosto, Conception et implantation du langage Foc pour le développement de logiciels certifiés, 2003.

C. Benjamin, D. N. Pierce, and . Turner, Simple type-theoretic foundations for object-oriented programming, Journal of Functional Programming, vol.4, issue.2, pp.207-247, 1994.

D. Rémy and J. Vouillon, Objective ML, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.27-50, 1998.
DOI : 10.1145/263699.263707