Prevosto, Virgile Programming Logics, MPI for Informatics, Max Planck Society;
Delahaye, D., Jaume, M., & Prevosto, V. (2005). Coq, un outil pour l'enseignement. Technique et Science Informatiques, 24, 1139-1160.