Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings - Bolduc, Claude; Desharnais, Jules; Ktari, Béchir (Springer Berlin Heidelberg, 2010)