APA način citiranja (7. izdanje)
Marco Bernardo, L. P. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer.
Čikaški stil citiranja (17. izdanje)
Marco Bernardo, Luca Padovani. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Berlín, Alemania: Springer.
MLA način citiranja (9. izdanje)
Marco Bernardo, Luca Padovani. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.