Abstraction, Reformulation and Approximation - Zucker, Jean-Daniel (Springer Berlin / Heidelberg, 2005)