Formalizing Data-Centric Web Services - Saleh, Iman (Springer International Publishing : Imprint: Springer, 2015)