Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings) - Heckel, Reiko; Milius, Stefan (Springer, 2013)