Mathematics of program construction : 9th International Conference, MPC 2008: Marseille, France, July 15-18, 2008 : proceedings - Audebaud, Philippe; Paulin-Mohring, Christine, 1962- (Lecture notes in computer science, 2008)