@book{OPUS4-21069,
  title     = {Mathematics of Program Construction: Third International Conference; MPC '95 Kloster Irsee, Germany, July 17-21, 1995; Proceedings},
  editor    = {Bernhard M{\"o}ller},
  isbn      = {978-3-540-60117-3},
  doi       = {10.1007/3-540-60117-1},
  year      = {1995},
}