Formal Methods For Web Services by Marco Bernardo