Wolfgang Thomas Pascal Weil STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings STACS Lecture Notes in Computer Science 4393 Springer 2007 978-3-540-70917-6 db/conf/stacs/stacs2007.html