Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings - Swart, Harrie de (Springer Berlin Heidelberg, 2011)