Describir: Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / edited by Peter Höfner, Damien Pous, Georg Struth.