Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings - Wolfram Kahl, Timothy G. Griffin ((Lecture Notes in Computer Science))