Optimization and nonstandard analysis - Rubio, J.E (Marcel decker, 1994)