Abstraction, Reformulation and Approximation door Berthe Y. Choueiry