Bases of ZF...-models. Michael v. Rimscha — 1983 Archiv für mathematische Logik und Grundlagenforschung
Universality and strong extensionality. Michael v. Rimscha — 1981 Archiv für mathematische Logik und Grundlagenforschung
Mengentheoretische Modelle des ...K-Kalküls. Michael v. Rimscha — 1980 Archiv für mathematische Logik und Grundlagenforschung
Weak foundation and axioms of universality. Michael v. Rimscha — 1981 Archiv für mathematische Logik und Grundlagenforschung