Philippe Ayrault, Thérèse Hardin & François Pessaux (2009):
Development Life-cycle of Critical Software Under FoCaL.
Electron. Notes Theor. Comput. Sci. 243,
pp. 15–31,
doi:10.1016/j.entcs.2009.07.003.
Philippe Ayrault, Thérèse Hardin & François Pessaux (2009):
Development of a Generic Voter under FoCal.
In: TAP'09,
LNCS 5608.
Springer-Verlag,
pp. 10–26,
doi:10.1007/978-3-642-02949-3_3.
S. Boulmé (2000):
Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel.
Thèse de doctorat.
Université Paris 6.
S. Boulmé, T. Hardin, D. Hirschkoff, V. Ménissier-Morain & R. Rioboo (1999):
On the way to certify Computer Algebra Systems.
In: Proceedings of the Calculemus workshop of FLOC'99,
ENTCS 23.
Elsevier,
doi:10.1016/S1571-0661(05)80609-7.
Common Criteria (2005):
Common Criteria for Information Technology Security Evaluation, Norme ISO 15408 – Version 3.0 Rev 2.
Thomas Johnsson (1985):
Lambda Lifting: Transforming Programs to Recursive Equations,
doi:10.1007/3-540-15975-4_37.
L. Lamport (1993):
How to Write a Proof.
Research report.
Digital Equipment Corporation.
V. Prevosto (2003):
Conception et Implantation du langage FoC pour le développement de logiciels certifiés.
Université Paris 6.
V. Prevosto & D. Doligez (2002):
Algorithms and Proof Inheritance in the Foc language.
Journal of Automated Reasoning 29(3-4),
pp. 337–363,
doi:10.1023/A:1021979218446.
V. Prevosto & M. Jaume (2003):
Making Proofs in a hierarchy of Mathematical Structures.
In: Proceedings of the 11th Calculemus Symposium.
Virgile Prevosto, Damien Doligez & Thérèse Hardin (2002):
Algebraic Structures and Dependent Records.
In: Sofiène Tahar César Muñoz & Víctor Carre eo: Proceedings of TPHOLs 02.
Springer-Verlag,
doi:10.1007/3-540-45685-6_20.
Standard Cenelec EN 50128 (1999):
Railway Applications - Communications, Signaling and Processing Systems - Software for Railway Control and Protection Systems.
Standard IEC-61508, International Electrotechnical Commission (1998):
Functional safety of electrical/electronic/programmable electronic safety-related systems.