Algebra and coalgebra in computer science 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / (Springer, 2011)