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

Girard, J., Lafont, Y., & Taylor, P. D. (1990). Proofs and types. Cambridge University Press.

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

Girard, Jean-Yves, Yves Lafont, και Paul D. Taylor. Proofs and Types. Cambridge: Cambridge University Press, 1990.

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

Girard, Jean-Yves, et al. Proofs and Types. Cambridge University Press, 1990.