Web Services and Formal Methods - Laneve, Cosimo (Springer Berlin Heidelberg, 2010)