[G] J. GURIČAN: Strengthening of the triangle inequality. (unpublished)

[G-Z 1] J. GURIČAN P. ZLATOŠ: Biequivalences and topology in the alternative set theory. Comment. Math. Univ. Carolina. 26 (1985), 525-552. MR 0817825

[M 2] J. MLČEK: Valuations of structures. Comment. Math. Univ. Carolinae 20 (1979), 681-696. MR 0555183

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

[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory. Teubner, Leipzig 1979; Russian translation, Mir, Moskva 1983. MR 0718490