Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth - Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade ((Lecture Notes in Computer Science))