Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings - Wolfram Kahl, editor ([, Springer-Verlag], 2012)