STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, march 25 - 27, 2004, proceedings (Springer, 2004)