Bernardo M., Padovani L., Zavattaro G. - Formal Methods for Web Services (Lecture Notes in Computer Science) - 2009.pdf8.95 MB