@article{Moeller2019,
  author    = {Bernhard M{\"o}ller},
  title     = {Geographic wayfinders and space-time algebra},
  journal   = {Journal of Logical and Algebraic Methods in Programming},
  volume    = {104},
  pages     = {274 -- 302},
  doi       = {10.1016/j.jlamp.2019.02.003},
  year      = {2019},
}