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