[Č] Čuda K.: 
A nonstandard set theory. Comment. Math. Univ. Carolinae 17 (1976), 647-663. 
MR 0441731[Č] Čuda K.: 
The consistency of the measurability of projective semisets. Comment. Math. Univ. Carolinae 27 (1986), 103-121. 
MR 0843424[K-Z] Kalina M., Zlatoš P.: 
Arithmetic of cuts and cuts of classes. Comment. Math. Univ. Carolinae 30 (1988). 
MR 0972828[K-Z] Kalina M., Zlatoš P.: Cuts of Borel classes. to be published.
[R] Raškovič M.: 
Measure and integration in the Alternative Set Theory. Publications de l'Institut math0matique 29 (43) (1981), 191-197. 
MR 0657107[Tz] Tzouvaras A.: 
A notion of measure for classes in AST. Comment. Math. Univ. Carolinae 28 (1987), 449-455. 
MR 0912575 | 
Zbl 0629.03033[V] Vopěnka P.: 
Mathematics in the Alternative Set Theory. Teubner Texte, Leipzig, 1979; russian translation Mir, Moscow. 
MR 0581368