[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