Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen. Gerhard Osius (1974) Mathematische Annalen