Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings (Springer, 2012)