Marco Carbone, Jean-Marc Petit: Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7176, Springer 2012, ISBN 978-3-642-29833-2