The internal and external aspect of logic and set theory in elementary topoi Gerhard Osius (1974) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Trajectories and natural numbers B. Kussová (1971) Acta Universitatis Carolinae. Mathematica et Physica
Type d'ordre des ordinaux de modèles non dénombrables de la théorie des ensembles Christine Charretton (1978) Publications du Département de mathématiques (Lyon)