Dean Kuo Alan Fekete Paul Greenfield Surya Nepal John Zic Savas Parastatidis Jim Webber Expressing and Reasoning about Service Contracts in Service-Oriented Computing. 915-918 2006 conf/icws/2006 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.62 db/conf/icws/icws2006.html#KuoFGNZPW06