Developments in Nonstandard Mathematics - A F Oliveira; Nigel J Cutland; Vitor Neves; Jose Sousa-Pinto (Taylor and Francis, 1995)