Yuyu Yin Ying Li ShuiGuang Deng Li Kuang Jian Wu Automating Service Matchmaking using Type Theory. 723-724 2007 conf/IEEEscc/2007 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2007.29 db/conf/IEEEscc/scc2007.html#YinLDKW07