@article{BergerMeixnerMoeller2019,
  author    = {U. Berger and W. Meixner and Bernhard M{\"o}ller},
  title     = {Calculating a garbage collector},
  journal   = {Lecture Notes of Computer Science},
  volume    = {544},
  pages     = {135 -- 192},
  doi       = {10.1007/BFb0018273},
  year      = {2019},
}