Zucker , Jean-Danie Abstraction, Reformulation and Approximation by Jean-Daniel Zucker and Lorenza Saitta - Berlin Springer - Lecture notes in Cmputer Science . Dewey Class. No.: 005.1 /