Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings
scientific article; zbMATH DE number 6715093