TY - BOOK AU - Jules Desharnais, Walter Guttmann, Stef Joosten TI - Relational and Algebraic Methods in Computer Science SN - 978-3-030-02149-8 SN - 1611-3349 PY - 2018/// PB - Springer International Publishing UR - https://doi.org/10.1007/978-3-030-02149-8 UR - https://link.springer.com/openurl?genre=book&isbn=978-3-030-02149-8 ER -