Relational and Algebraic Methods in Computer Science - Kahl; Oliveira, José; Winter, Michael (Springer International Publishing, 2015)