Trích dẫn kiểu APA (xuất bản lần thứ 7)
Lupacchini, R., & Corsi, G. (2008). Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Springer Milan. https://doi.org/10.1007/978-88-470-0784-0
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Lupacchini, Rossella, và Giovanna Corsi. Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Milano: Springer Milan, 2008. https://doi.org/10.1007/978-88-470-0784-0.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Lupacchini, Rossella, và Giovanna Corsi. Deduction, Computation, Experiment: Exploring the Effectiveness of Proof. Springer Milan, 2008. https://doi.org/10.1007/978-88-470-0784-0.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.