Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings - Höfner, Peter.; Pous, Damien.; Struth, Georg. (Springer International Publishing : Imprint: Springer, 2017)