Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-20 2012 : proceedings. ISBN 9783642333132. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.