Nonstandard analysis : A PRACTICAL GUIDE WITH APPLICATIONS - Lutz, R. (Lecture Notes in Mathematics, 1981)