Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings - Corradini, Andrea; Klin, Bartek; Cîrstea, Corina (Springer Berlin Heidelberg, 2011)