[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory. Teubner-Texte, Leipzig 1979. MR 0581368

[V 1] P. VOPĚNKA: The lattice of indiscernibility equivalences. Comment. Math. Univ. Carolinae 20 (1979), 631-638. MR 0555179

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

[S-V 1] A. SOCHOR A. VENCOVSKÁ: Indiscernibles in the alternative set theory. Comment. Math. Univ. Carolinae 22 (1981), 785-798. MR 0647026

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

[C - H] G. CHERLING J. HIRSCHFELD: Ultrafliters and ultraproducts in non-standard analysis. Contributions to Non-Standard Analysis, Studies in Logic, vol. 69, North-Holl. Publ. Company, 261-279. MR 0485344