Relational and Algebraic Methods in Computer Science - Höfner (Springer International Publishing, 2017)