The strength of nonstandard analysis - Van den Berg, Imme; Neves, Vítor (SpringerWienNewYork, 2007)