APA stil citiranja

Girard, J. Y., Taylor, P., & Lafont, Y. (1993). Proofs and types: Proofs and types (Reprinted, with minor corrections.). Cambridge: Cambridge University Press.

Chicago stil citiranja

Girard, Jean Yves, Paul Taylor, and Yves Lafont. Proofs and types: Proofs and types. Reprinted, with minor corrections. Cambridge: Cambridge University Press, 1993.

MLA stil citiranja

Girard, Jean Yves, Paul Taylor, and Yves Lafont. Proofs and types: Proofs and types. Reprinted, with minor corrections. Cambridge: Cambridge University Press, 1993.