[1] P. VOPĚNKA:
Mathematics in the alternative set theory. Teubner Texte, Leipzig 1979.
MR 0581368
[2] A. SOCHOR A. VENCOVSKÁ:
Indiscernibles in the alternative set theory. Comment. Math. Univ. Carolinae 22 (1981), 785-798.
MR 0647026
[4] A. SOCHOR, P. VOPĚNKA:
Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-118.
MR 0566243