APA
                    Marco Bernardo L. P. G. Z., . (2009). Formal Methods for Web Services. Germany: Springer.
                
                    Chicago
                    Marco Bernardo Luca Padovani Gianluigi Zavattaro, . 2009. Formal Methods for Web Services. Germany: Springer.
                
                    Harvard
                    Marco Bernardo L. P. G. Z., . (2009). Formal Methods for Web Services. Germany: Springer.
                
                    MLA
                    Marco Bernardo Luca Padovani Gianluigi Zavattaro, . Formal Methods for Web Services. Germany: Springer. 2009.