Web Services and Formal Methods - Emilio Tuosto, Chun Ouyang; Ouyang, Chun (Springer International Publishing, 2014)