Mathematics of Program Construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings - Eerke A. Boiten, Bernhard Möller ((Lecture Notes in Computer Science))