A method for composing process of nondeterministic Web services | IEEE Conference Publication | IEEE Xplore