Nonstandard Analysis A Practical Guide with Applications - Lutz, Robert; Goze, Michel (Springer, 1981)