@article{851612,
      note = {International conference proceedings.},
      author = {Desharnais, Jules, and Guttmann, Walter, and Joosten,  Stef,},
      url = {http://library.usi.edu/record/851612},
      title = {Relational and algebraic methods in computer science :  17th International Conference, RAMiCS 2018, Groningen, The  Netherlands, October 29-November 1, 2018, Proceedings /.  RAMiCS (Conference)},
      doi = {https://doi.org/10.1007/978-3-030-02149-8},
      recid = {851612},
      pages = {1 online resource (xvi, 385 pages) :},
}