Mathematical Methods in Computer Science Essays in Memory of Thomas Beth - Calmet, Jacques; Geiselmann, Willi; Müller-Quade, Jörn (Springer Berlin Heidelberg, 2008)