Nonstandard analysis in practice (Springer, 1995)