Nonstandard analysis-recent developments. - Springer Verlag, 1983. - ( Lecture Notes in Mathematics ; 983).