Yves Bertot. Vérification formelle d'extractions de racines entières.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, Langages Applicatifs, Spécifications, Programmation, Vérification, 24 (9), pp.1161-1195.
〈inria-00001172〉