[Č] K. ČUDA: 
The relation between $\varepsilon - \delta $ procedures and the infinitely small in nonstandard methods. Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics 619. 
MR 0505469[S] A. SOCHOR: 
Differential calculus in the Alternative Set Theory. Set Theory and Hierarchy Iheory V, Lecture Notes in Math. 619. 
MR 0472524 | 
Zbl 0434.03037[SV 1] A. SOCHOR P. VOPĚNKA: 
Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. 
MR 0555178[V] P. VOPĚNKA: 
Mathematics in the alternative set theory. Teubner-Texte Leipzig 1979. 
MR 0581368[V 1] P. VOPĚNKA: 
The lattice of indiscernibility equivalences. Comment. Math. Univ. Carolinae 20 (1979), 631-638. 
MR 0555179