Comment faire confiance à un compilateur ? - Leroy, Xavier. (La Recherche, 2010)
Encart ÷Les cahiers de l'Inria÷.