Title: Proceedings, the Eighth Symposium on Abstraction, Reformulation and Approximation CD-ROM (SARA 2009)