Mathematics of program construction 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010. Proceedings - Bolduc, Claude; Desharnais, Jules; Ktari, Bechir (Lecture Notes in Computer Science, 2010)