Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings - Kahl, Wolfram; Winter, Michael; Oliveira, José (Springer International Publishing : Imprint: Springer, 2015)