Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers - Marco Carbone, Jean-Marc Petit ((Lecture Notes in Computer Science))