Nonstandard analysis and differentiable manifolds - Foundations - Almeida, R (2009)