Mathematics of Program Construction : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings - Philippe Audebaud, Christine Paulin-Mohring ((Lecture Notes in Computer Science))