%O Book 
%F mpc2008
%T Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
%B MPC
%E Audebaud, Philippe
%E Paulin-Mohring, Christine
%V 5133
%S Lecture Notes in Computer Science
%I Springer
%D 2008