Web Services and Formal Methods - Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Lohmann, Niels (Springer Berlin Heidelberg, 2013)