Notations for the Specification and Verification of Composite Web Services. - Simon J. Woodman; Doug J. Palmer; Santosh K. Shrivastava; Stuart M. Wheater (EDOC, 2004)