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

[Č 83] K. ČUDA: Nonstandard models of arithmetic as an alternative basis for continuum considerations. Comment. Math. Univ. Carolinae 24 (1983), 415-430. MR 0730137

[Č 87] K. ČUDA: A contribution to topology in AST: Compactness. Comment. Math. Univ. Carolinae 28 (1987), 43-61. MR 0889767

[ČK 82] K. ČUDA B. KUSSOVÁ: Basic equivalences in the alternative set theory. Comment. Math. Univ. Carolinae 23 (1982), 629-644. MR 0687559

[ČK 83] K. ČUDA B. KUSSOVÁ: Monads in basic equivalences. Comment. Math. Univ. Carolinae 24 (1983), 437-452. MR 0730139

[Č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

[ZG] J. GURlČAN P. ZLATOŠ: Biequivalences and topology in the alternative set theory. Comment. Math. Univ. Carolinae 26 (1985), 525-552. MR 0817825