Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings - Franz Winkler ((Lecture Notes in Computer Science))