没有找到引用RESTful web service composition: extracting a process model from linear logic theorem proving的文章。