[V] P. VOPĚNKA: Mathematics in the alternative set theory. Teubner-Texte, Leipzig 1979. MR 0581368

[Č-V] K. ČUDA, P. VOPĚNKA: Real and imaginary classes. Comment. Math. Univ. Carolinae 20 (1979), 639-653. MR 0555180

[S2] A. SOCHOR: Metamathematics of the alternative set theory II. Comment. Math. Univ. Carolinae 23 (1982), 55-79. MR 0653351 | Zbl 0493.03030

[S-V 1] A. SOCHOR, P. VOPĚNKA: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-622. MR 0555178

[S-V 2] A. SOCHOR, P. VOPĚNKA: Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243

[S-V 5] A. SOCHOR, P. VOPĚNKA: Shiftings of the horizon. Comment. Math. Univ. Carolinae 24 (1983), 127-136. MR 0703932