The Strength of Nonstandard Analysis - Berg, Imme van den; Neves, Vítor (Springer Vienna, 2007)