Abstraction, Reformulation, and Approximation: 7th International Symposium, Sara 2007, Whistler, Canada, July 18-21, 2007, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2007)