Mathematics of Program Construction : 7th International Conference, Mpc 2004,...