Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen. Dieter Klaua (1981) Monatshefte für Mathematik
Eine Erweiterung der NGB-Mengenlehre als Grundlage der Kategorientheorie Gerhard Osius (1976) Fundamenta Mathematicae
Équivalence naturelle et formules logiques en théorie des catégories. Georges Blanc (1978) Archiv für mathematische Logik und Grundlagenforschung