TY - CONF T1 - Relational and Algebraic Methods in Computer Science PY - 2017/01/01 AU - ED - DO - DOI: 10.1007/978-3-319-57418-9 PB - Springer International Publishing SN - 9783319574172 Y2 - 2024/12/25 ER -