Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings - Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro ((Lecture Notes in Computer Science))