Formalizing Data-Centric Web Services - Saleh, Iman (Springer, 2015)