Relational and Algebraic Methods in Computer Science - Desharnais; Stef Joosten; Walter Guttmann; Guttmann, Walter; Joosten, Stef (Springer International Publishing, 2018)