Algebra and coalgebra in computer science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings.