Nugraha, Anggha; McKubre-Jordens, Maarten; Diener, Hannes (2020-09-23). «Na\"ive Infinitesimal Analysis: Its Construction and Its Properties». arXiv:2009.11424 [math.LO].
Edward Nelson: Radically Elementary Probability Theory, Princeton University Press, 1987, full text
Edward Nelson: Internal Set Theory: A New Approach to Nonstandard Analysis, Bulletin of the American Mathematical Society, Vol. 83, Number 6, November 1977. A chapter on internal set theory is available at http://www.math.princeton.edu/~nelson/books/1.pdf