doi dblpAutomated synthesis of composite services with correctness guaranteeTing Deng | Jinpeng Huai | Xianxian Li | Zongxia Du | Huipeng GuoProceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009