@conference{Hoefner_PS_17,
    address          = {Lyon, France},
    author           = {Höfner, Peter and Pous, Damien and Struth, Georg},
    booktitle        = {Relational and Algebraic Methods in Computer Science},
    date             = {2017-5-15},
    doi              = {https://doi.org/10.1007/978-3-319-57418-9},
    month            = may,
    numpages         = {1},
    paperurl         = {https://trustworthy.systems/publications/full_text/Hoefner_PS_17.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Relational and Algebraic Methods in Computer Science (Proceedings)},
    year             = {2017}
  }