Nonstandard analysis and its applications. - Cambridge University Press, 1988. - ( London Mathematical Society Student Texts ; 10).