@inbook{Hoefner_JKM_14,
    author           = {H\"ofner, Peter and Jipsen, Peter and Kahl, Wolfram and M\"uller, Martin Eric},
    booktitle        = {Lecture Notes in Computer Science},
    isbn             = {978-3-319-06251-8},
    month            = may,
    pages            = {2},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8840.pdf},
    title            = {Preface: {R}elational and Algebraic Methods in Computer Science},
    volume           = {8428},
    year             = {2014}
  }