A Refinement Checking Method of Web Services Composition | IEEE Conference Publication | IEEE Xplore