Formal Methods for Web Services | lit.salon