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