A primer of infinitesimal analysis - Bell, J. L. (Cambridge University Press, 1998)