Mathematics of Program Construction 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings - Bolduc, Claude (Springer-Verlag Berlin Heidelberg, 2010)