The strength of nonstandard analysis - Berg, Imme Van Den (springer-verlag, 2007)