Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - Roberto Bruni, Karsten Wolf ((Lecture Notes in Computer Science))