Mathematical methods in computer science : essays in memory of Thomas Beth - Calmet, Jacques, 1941-; Geiselmann, Willi; Müller-Quade, Jörn, 1967- (Lecture notes in computer science, 2008)