Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings - Heckel, Reiko; Milius, Stefan (Springer Berlin Heidelberg : Imprint: Springer, 2013)