Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013 Warsaw, Poland, September 3-6, 2013 Proceedings - Heckel, Reiko (edición); Milius, Stefan (edición) ((Lecture Notes in Computer Science ;)