Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers - Cosimo Laneve, Jianwen Su ((Lecture Notes in Computer Science))