Jacques Calmet Willi Geiselmann Jörn Müller-Quade Mathematical Methods in Computer Science, MMICS 2008, Karlsruhe, Germany, December 17-19, 2008 - Essays in Memory of Thomas Beth 5393 2008 978-3-540-89993-8 MMICS Lecture Notes in Computer Science Springer db/conf/mmics/mmics2008.html