Relational and Algebraic Methods in Computer Science: 15th international conference, RAMiCS 2015 Braga, Portugal, September 28 - October 1, 2015 proceedings Livro