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

SpringerLink (Online service), Hierons, R. M., Bowen, J. P., & Harman, M. (2008). Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Springer Berlin Heidelberg.

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

SpringerLink (Online service), Robert M. Hierons, Jonathan P. Bowen, και Mark Harman. Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

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

SpringerLink (Online service), et al. Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Springer Berlin Heidelberg, 2008.