Nonstandard analysis. Theory and applications. Proceedings of the NATO Advanced Study Institute on Nonstandard Analysis and its Applications held in Edinburgh, June 30–July 13, 1996. Edited by Leif O. Arkeryd, Nigel J. Cutland and C. Ward Henson. NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, 493. Kluwer Academic Publishers Group, Dordrecht, 1997.