@book{OPUS4-35976,
  title     = {Mathematics of program construction: 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002; proceedings},
  editor    = {Eerke A. Boiten and Bernhard M{\"o}ller},
  isbn      = {978-3-540-43857-1},
  doi       = {10.1007/3-540-45442-X},
  year      = {2002},
}