@misc{OPUS4-2846,
  title     = {Relational and Algebraic Methods in Computer Science},
  editor    = {Peter H{\"o}fner and Peter Jipsen and Wolfram Kahl and Martin Eric M{\"u}ller},
  volume    = {8428},
  isbn      = {978-3-319-06250-1},
  doi       = {10.1007/978-3-319-06251-8},
  year      = {2014}
}