Mathematics of Program Construction: 7th International Conference, MPC 2004, Sti