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