Relational and Algebraic Methods in Computer Science - Fahrenberg; Jipsen, Peter; Winter, Michael (Springer International Publishing, 2020)