1. A theory of sets with the negation of the axiom of infinity;Mathematical Logic Quarterly;1993
2. Weak foundation and axioms of universality;Archiv für Mathematische Logik und Grundlagenforschung;1981-12
3. Universality and strong extensionality;Archiv für Mathematische Logik und Grundlagenforschung;1981-12
4. Mengentheoretische Modelle desλK-Kalküls;Archiv für Mathematische Logik und Grundlagenforschung;1980-03
5. Bibliography;Foundations of Set Theory - Second Revised Edition;1973