Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings - Duparc, Jacques; Henzinger, Thomas A. (Springer Berlin Heidelberg, 2007)