Mengentheoretische Modelle des ...K-Kalküls. Michael v. Rimscha (1980) Archiv für mathematische Logik und Grundlagenforschung
Modèles cumulatifs de la théorie des types M. Boffa (1977) Publications du Département de mathématiques (Lyon)