Indiscernibles in the alternative set theory Antonín Sochor, Alena Vencovská (1981) Commentationes Mathematicae Universitatis Carolinae
Inequivalence of the fragments of new foundations. Urs Oswald (1981) Archiv für mathematische Logik und Grundlagenforschung