Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science (2386), Band 2386) 74,89 EUR*