Electronic Notes in Theoretical Computer Science:Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)