@article{Moeller2019,
  author    = {Bernhard M{\"o}ller},
  title     = {Preface},
  journal   = {Science of Computer Programming},
  volume    = {26},
  number    = {1-3},
  pages     = {3},
  doi       = {10.1016/S0167-6423(96)90004-0},
  year      = {2019},
}