STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings - Thomas, Wolfgang; Weil, Pascal (Springer Berlin Heidelberg, 2007)