Abbreviations:
AMS - American Mathematical Society
CUP - Cambridge University Press
NSA - Nonstandard analysis
Benninghofen B and Richter M (1988) An application of nonstandard methods to computational group theory; in NSA and its applications, Cutland N ed, CUP.
Drossos Costas and Karazeris Panagis (2005) A Note on representing and intrepreting MV-Algebras http://www.math.upatras.gr/~cdrossos/Docs/Rep&InterprMV-Algebras.pdf
Gonshor H (1971) The ring of finite elements is a nonstandard model of the reals. J. of the London Math. Soc. ser 2. vol 3 pp 493-500
Gonshor H (1985) Remarks on the Dedekind completion of a nonstandard model of the reals. Pacific J. of Math. 118 pp 117-132
McCord M (1972) NSA and homology. Fund. Math. 74 pp 21-28
Reveilles J (1984) Infinitesimaux et topologie. C.R. Acad. Sc. Paris Serie I 298
Robinson A (1967) Nonstandard arithmetic. Bulletion of the AMS 73 pp 818-843
Robinson A (1967) Non-standard theory of Dedekind rings; in Proceedings of Academy of Science, Amsterdam A70 pp 444-452
Robinson A and Roquette P (1975) On the finiteness theorem of Siegel and Mahler concerning Diophantine equations. J. of Number Theory 7 pp 121-176
Roquette P (1975) Nonstandard aspects of Hilbert's irreducibilty theorem; in Model Theory and Algebra. Lecture notes in Math. 498 pp 231-275 Springer-Verlag.
Stepanov S (1994) Arithmetic of algebraic curves. Monographs in contemporary math. Plenum Publishing New York. (Reviewed in Bulletin of the AMS 33 #2 Apr 1996 pp 251-254 by Silverman J).
van den Dries L and Schmidt K (1984) Bounds in the theory of polynomial rings over fields: a nonstandard approach. Invent. Math. 76 pp 77-91
van den Dries L and Wilkie A (1984) Gromov's theorem on groups of polynomial growth and elementary logic. J. Alg. 89 pp 349-374
Zivaljevic R (1987) On a cohomology theory based on hyperfinite sums of microsimplexes. Pacific J. Math. 126