@techreport{Moeller2022,
  author    = {Bernhard M{\"o}ller},
  title     = {Derivation of graph and pointer algorithms},
  institution = {Mathematisch-Naturwissenschaftlich-Technische Fakult{\"a}t},
  series    = {Reports des Instituts f{\"u}r Mathematik der Universit{\"a}t Augsburg},
  number    = {280},
  pages     = {39},
  year      = {2022},
}