Bruno Durand Wolfgang Thomas STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings 3884 2006 3-540-32301-5 STACS Lecture Notes in Computer Science Springer db/conf/stacs/stacs2006.html