Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - Jacques Duparc, Thomas A. Henzinger ((Lecture Notes in Computer Science))