Special Issue with Selected Papers of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 - Heckel, Reiko; Milius, Stefan (2015)