@article{Moeller2019,
  author    = {Bernhard M{\"o}ller},
  title     = {Building structured theories},
  journal   = {Lecture Notes in Computer Science},
  volume    = {6663},
  pages     = {1 -- 21},
  doi       = {10.1007/978-3-642-21070-9_1},
  year      = {2019},
}