[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