Abstraction, reformulation, and approximation - Choueiry, Berthe Y (2000)