@incollection{Moeller1990,
  author    = {Bernhard M{\"o}ller},
  title     = {Systematic derivation of pointer algorithms},
  booktitle = {GI — 20. Jahrestagung II: Informatik auf dem Weg zum Anwender Stuttgart, 8.-12. Oktober 1990 Proceedings; Stuttgart, 8.-12. Oktober 1990; Proceedings},
  editor    = {A. Reuter},
  isbn      = {978-3-540-53213-2},
  doi       = {10.1007/978-3-642-76119-5_57},
  year      = {1990},
}