Volker Diekert Bruno Durand STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings 3404 3-540-24998-2 STACS Lecture Notes in Computer Science Springer 2005 db/conf/stacs/stacs2005.html