Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings - Boiten, Eerke A.; Boiten, Eerke A.; Möller, Bernhard; Möller, Bernhard (Springer Berlin Heidelberg : Imprint: Springer, 2002)