Modèles cumulatifs de la théorie des types M. Boffa — 1977 Publications du Département de mathématiques (Lyon)
Une condition impliquant toutes les identités rationnelles M. Boffa — 1995 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications