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

Poernomo, I. H., Wirsing, M., & Crossley, J. N. (2005). Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer New York.

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

Poernomo, Iman Hafiz, Martin Wirsing, και John Newsome Crossley. Adapting Proofs-as-Programs: The Curry-Howard Protocol. New York, NY: Springer New York, 2005.

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

Poernomo, Iman Hafiz, et al. Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer New York, 2005.