Baoping Lin Qing Li Naijie Gu A Semantic Specification Framework for Analyzing Functional Composability of Autonomous Web Services. 695-702 2007 conf/icws/2007 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.18 db/conf/icws/icws2007.html#LinLG07