Trích dẫn kiểu APA (xuất bản lần thứ 7)

SpringerLink (Online service) & Norrish, M. (2013). Certified programs and proofs: Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Springer International Publishing Imprint: Springer.

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

SpringerLink (Online service) và Michael Norrish. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Cham: Springer International Publishing Imprint: Springer, 2013.

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

SpringerLink (Online service) và Michael Norrish. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Springer International Publishing Imprint: Springer, 2013.

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%.