Lua APA (7ú heag.)

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.

Lua i Stíl Chicago (17ú heag.)

SpringerLink (Online service) agus 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.

Lua MLA (8ú heag.)

SpringerLink (Online service) agus 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.

Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.