Web Services and Formal Methods - Bruni, Roberto; Kanade, Takeo; Wolf, Karsten; Kittler, Josef (Springer Berlin Heidelberg, 2009)