[P-S] P. PUDLÁK A. SOCHOR: Models of the Alternative Set Theory. J. Symb. Logic 49 (1984), 570-585. MR 0745386

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

[T] A. TZOUVARAS: Definability degrees for classes in AST. submitted to Comment. Math. Univ. Carolinae.

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