Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers - Laneve, Cosimo (Springer-Verlag Berlin Heidelberg, 2010)