TY - CONF T1 - Relational and Algebraic Methods in Computer Science UR - https://doi.org/10.1007/978-3-319-57418-9 PY - 2017/01/01 AU - ED - Höfner P ED - Pous D ED - Struth G DO - DOI: 10.1007/978-3-319-57418-9 PB - Springer International Publishing SN - 9783319574172 Y2 - 2025/12/03 ER -