Zhai, et al.. A Reliable Automatic Service Composition Method Based on Type Theory. Science and Engineering Research Support Society, June 2015, doi:10.14257/ijunesst.2015.8.6.27.