Mathematical methods in computer science essays in memory of Thomas Beth / - Calmet, Jacques.; Geiselmann, Willi.; Müller-Quade, Jörn. (Springer,)