Strength of Nonstandard Analysis [electronic resource] - Berg, Imme; Neves, Vitor (Boston Springer, 2007)
http://dx.doi.org/10.1007/978-3-211-49905-4