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