@incollection{Moeller1991,
  author    = {Bernhard M{\"o}ller},
  title     = {Formal derivation of pointer algorithms},
  booktitle = {Informatik und Mathematik [Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag]},
  editor    = {Manfred Broy},
  isbn      = {978-3-642-76678-7},
  doi       = {10.1007/978-3-642-76677-0_30},
  year      = {1991},
}