STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004 : proceedings / - Diekert, Volker,; Habib, M. (Lecture notes in computer science,)