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

SpringerLink (Online service), Lupacchini, R., & Corsi, G. (2008). Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Springer Milan.

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

SpringerLink (Online service), Rossella Lupacchini, και Giovanna Corsi. Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Milano: Springer Milan, 2008.

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

SpringerLink (Online service), et al. Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Springer Milan, 2008.