Abbreviations:
CUP - Cambrudge Univ. Press
NSA - Nonstandard analysis
Cutland N ed (1988) NSA and its applications. CUP
Cutland N and Neves V ed (1995) Devel. in nonstandard math. Longman
Dauben J (1995) Abraham Robinson, the creation of NSA, a personal and mathematical odyssey. Princeton U. Press
Davis M (1977) Applied NSA. Wiley, New York.
Davis M and Hersh R (1972) NSA. Scientific American 226 #6 pp 78-86
Diener F and Diener M (1996) NSA in Practice. Springer-Verlag
Hoskins R (1990) Standard and NSA, Ellis Horwood, New York.
Hurd A and Loeb P eds (1974) Victoria symposium on NSA: Lecture notes in Math. 369 (Springer, New York)
Hurd A ed (1983) NSA -- recent developments. Lecture notes in Math. 983 Berlin; New York, Springer-Verlag.
Landers D and Rogge L (1991) Nichtstandard Analysis. Springer-Verlag.
Lindstrom T (1988) An invitation to NSA; in NSA and its applications (Cutland N ed), CUP 1988.
Lutz R and Goze M (1981) NSA: a practical guide with applications. Berlin; New York, Springer-Verlag
Luxemburg W (1973) What is NSA? American Math. Monthly Vol 80 #6 Part II pp 38-67 (published as supplement to Vol 80 #6 under title: Papers in the Foundations of Mathematics. #13 of the Herbert Ellsworth Slaught Memorial Papers)
Luxemburg W and Robinson A editors (1972) Contributions to NSA. North-Holland, Amsterdam.
Machover M and Hirschfield J (1969) Lectures on NSA. Lecture Notes in Math. 94 Springer.
Robert A (1984) Une approche naive de l'analyse non-standard. Dialectica 38 pp 287-296
Robert A (1985) Analyse Non-Standard. Press Polytechnique Romandes, Lausanne.
Robert A (1988) NSA. New York. Wiley (English translation of 1985 book)
Robinson A (1974) NSA. Princeton Univ. Press (Reissued paperback 1996, ISBN 0-691-04490-2)
Simpson A (1990) The Infidel is Innocent. Math. Intelligencer Vol 12 #3 pp 43-51
Voros A (1973) Intro. to NSA. J. Math. Phys. 14 pp 292-296