Relational and Algebraic Methods in Computer Science - Peter Höfner, Damien Pous, Georg Struth (Springer, 2017)