Abstraction, Reformulation, and Approximation door Peter Rathert & S. Koenig