Mathematics of Program Construction: 10th International Conference, MPC 2010, Qubec City, Canada, Ju MATHEMATICS OF PROGRAM CONSTRU