@article{MoellerTucker2019,
  author    = {Bernhard M{\"o}ller and John V. Tucker},
  title     = {Preface: prospects for hardware foundations},
  journal   = {Lecture Notes in Computer Science},
  volume    = {1546},
  pages     = {VIII},
  doi       = {10.1007/3-540-49254-2},
  year      = {2019},
}