Lei Zhou Hanyi Zhang Tao Wang Chuchao Yang Zheng Wang Meng Sun Geguang Pu Static Check of WS-CDL Documents. 142-147 2008 SOSE http://dx.doi.org/10.1109/SOSE.2008.36 conf/sose/2008 db/conf/sose/sose2008.html#ZhouZWYWSP08