@article{Moeller1993,
  author    = {Bernhard M{\"o}ller},
  title     = {Derivation of graph and pointer algorithms},
  journal   = {Lecture Notes in Computer Science},
  volume    = {755},
  pages     = {123 -- 160},
  doi       = {10.1007/3-540-57499-9_19},
  year      = {1993},
}