On External Properties of Nonstandard Models of Arithmetic Denis Richard — 1977 Publications du Département de mathématiques (Lyon)
Mesure de Haar en analyse non-standard Denis Richard — 1976 Publications du Département de mathématiques (Lyon)
Éléments d'une théorie non standard des groupes topologiques Christine Charretton; Denis Richard — 1972 Publications du Département de mathématiques (Lyon)
Théorème d'Ascoli et application aux groupes topologiques localement compacts en analyse non standard Christine Charretton; Denis Richard — 1975 Publications du Département de mathématiques (Lyon)