@inbook{Hoefner_PS_17,
    author           = {H\"ofner, Peter and Pous, Damien and Struth, Georg},
    booktitle        = {Lecture Notes in Computer Science},
    isbn             = {978-3-319-06251-8},
    month            = apr,
    pages            = {2},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9541.pdf},
    title            = {Preface: {P}roceedings of the 16th Conference on Relational and Algebraic Methods in Computer
                        Science},
    volume           = {10226},
    year             = {2017}
  }