The strength of nonstandard analysis - Berg, Imme; Neves, Vitor (Springer-Verlag Wien, 2007)