Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings - Andrea Corradini, Bartek Klin, Corina Cîrstea ((Lecture Notes in Computer Science))