Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater. Notations for the Specification and Verification of Composite Web Services. In 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings. pages 35-46, IEEE Computer Society, 2004. [doi]
Abstract is missing.