Qingjun Xiao, Ruonan Rao, Jinyuan You: A Language for Reliable Service Composition. SOFSEM (1) 2007: 554-565