Jinpeng Huai Ting Deng Xianxian Li Zongxia Du Huipeng Guo AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee. 1534-1549 2009 52 Science in China Series F: Information Sciences 9 http://dx.doi.org/10.1007/s11432-009-0155-0 db/journals/chinaf/chinaf52.html#HuaiDLDG09