Nonstandard Analysis in Practice - Diener, Francine (Springer, 1995)