Download Mathematics Of Program Construction: 5Th International Conference, Mpc 2000, Ponte De Lima, Portugal, July 3 5, 2000 Proceedings 2000