Formal Specification and Verification of Data-Centric Web Services. - Iman Saleh Moustafa (2012)