Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012)