Title: Formalizing Data-Centric Web Services
Subjects: Web services