You are about to access our book library "Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings (Lecture Notes in Computer Science Book 8080) full version" .