[V] P. VOPĚNKA:
Mathematics in the alternative set theory. Teubner-Texte, Leipzig 1979.
MR 0581368
[S-V 1] A. SOCHOR P. VOPĚNKA:
Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629.
MR 0555178
[S 1] A. SOCHOR:
Metamathematics in the alternative set theory. Comment. Math. Univ. Carolinae 20 (1979), 697-721.
MR 0555184
[Ve 1] A. VENCOVSKÁ:
A method for constructing some endomorphic universes. Comment. Math. Univ. Carolinae 20 (1979), 655-668.
MR 0555181
[S-Ve] A. SOCHOR A. VENCOVSKÁ:
Indiscernibles in the alternative set theory. Comment. Math. Univ. Carolinae 22 (1981), 785-798.
MR 0647026