Relational and Algebraic Methods in Computer Science - Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter (Springer, 2021)