Παραπομπή σε μορφή APA (7η εκδ.)

Laneve, C., & Su, J. (2010). Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer-Verlag Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Laneve, Cosimo, και Jianwen Su. Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.

Παραπομπή σε μορφή MLA (8th εκδ.)

Laneve, Cosimo, και Jianwen Su. Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer-Verlag Berlin Heidelberg, 2010.