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

[BB] B. BALCAR: Teorie polomnožin (Theory of Semisets). CSc-thesis, Prague 1973.

[CC] K. ČUDA: Nestandardní teorie polomnožin. (Nonstandard theory of semisets), CSc-thesis, Prague 1976.

[Č] K. ČUDA: A nonstandard set theory. Comment. Math. Univ. Carolinae 17 (1976), 647-663. MR 0441731

[J] T. JECH: Lectures in Set Theory with Particular Emphasis on the Method of Forcing. Lect. Notes in Math. 217. Zbl 0269.02030

[K] K. KURATOWSKI: Topology (vol. 1). Academic Press New York and London 1966. MR 0217751

[N] E. NELSON: Internal set theory: A new approach to nonstandard analysis. Bull. Amur. Math. Soc., Vol. 83 (1977), 1165-1198. MR 0469763 | Zbl 0373.02040

[S1] A. SOCHOR: Metamathematics of the alternative set theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-722. MR 0555184 | Zbl 0433.03028

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