[V] Vopěnka P.:
Mathematics in the Alternative Set Theory. Teubner-Texte, Leipzig, 1979.
MR 0581368
[Č-Vo] Čuda K., Vojtášková B.:
Minimal monads. Comment. Math. Univ. Carolinae 28 (1987), 691-706.
MR 0928684
[Č-K] Čuda K., Kussová B.:
Monads in basic equivalences. Comment. Math. Univ. Carolinae 24 (1983), 437-452.
MR 0730139
[S-Ve] Sochor A., Vencovská A.:
Indiscemibles in the alternative set theory. Comment. Math. Univ. Carolinae 22 (1981), 785-798.
MR 0647026
[S] Sochor A.:
Metamathcmatics of the alternative set theory II. Comment. Math. Univ. Carolinae 23 (1982), 55-79.
MR 0653351
[Mc Al] Mc Aloon K.:
Diagonal methods and strong cuts in models of arithmetic. Logic Colloq 1977, Wroclaw, North Holland Publ. Company, 1978, pp. 171-181.
MR 0519812