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