Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings - Kahl, Wolfram; Griffin, Timothy G. (Springer Berlin Heidelberg : Imprint: Springer, 2012)