[Č] 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. s. 143-152. MR 0505469

[Č1] K. ČUDA: An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST). Comment. Math. Univ. Carolinae 21 (1980). s. 433-445. MR 0590124 | Zbl 0445.03042

[Č2] K. ČUDA: An elimination of the predicate "To be a standard number" in nonstandard models of arithmetic. Comment. Math. Univ. Carolinae 23 (1982). s. 785-803. MR 0687572

[CH H] G. CHERLIN J. HIRSCHFELD: Ultrafilters and ultraproducts in non-standard analysis. Contributions to Non-Standard Analysis, Studies in Logic 69, s. 261-280. MR 0485344

[L] W. A. J. LUXEMBURG: A general theory of monads. Applications of Model Theory to Algebra, Analysis, and Probability, Holt, Rinehart and Winston, Inc. s. 18-86. MR 0244931 | Zbl 0207.52402

[H] A. E. HURD: Nonstandard analysis of dynamical systems. I: Limit motions, stability. Transactions of the Am. Math. Soc. vol 160, Oct. 1971. s. 1-25. MR 0280827 | Zbl 0251.34032

[N] E. NELSON: Internal set theory: A new approach to non-standard analysis. BAMS vol. 83 (1977). s. 1165-1198. MR 0469763

[S] A. SOCHOR: Differential calculus in the Alternative set theory. Set Theory and Hierarchy Theory V, Lecture notes in Mathematics 619. s. 273-284. MR 0472524 | Zbl 0434.03037