Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers - Bruni, Roberto; Wolf, Karsten (Springer Berlin Heidelberg : Imprint: Springer, 2009)