@article{Moeller1993,
  author    = {Bernhard M{\"o}ller},
  title     = {Algebraic calculation of graph and sorting algorithms},
  journal   = {Lecture Notes in Computer Science},
  volume    = {735},
  pages     = {394 -- 413},
  doi       = {10.1007/BFb0039722},
  year      = {1993},
}