Books by Symposium on Theoretical Aspects of Computer Science (21st 2004 Montpellier, France)