"A Language for Reliable Service Composition."

Qingjun Xiao, Ruonan Rao, Jinyuan You (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics