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