[V] P. VOPĚNKA:
Mathematics in the alternative set theory. Teubner-Texte, Leipzig, 1979.
MR 0581368
[M] J. MLČEK:
Approximation of $\sigma $-classes and $\pi $-classes. Comment. Math. Univ. Carolinae 20 (1979), 669-679.
MR 0555182
[S-V] A. SOCHOR P. VOPĚNKA:
Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-118.
MR 0566243