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

Ungar, A. M. (1992). Normalization, cut-elimination, and the theory of proofs. CSLI.

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

Ungar, A. M. Normalization, Cut-elimination, and the Theory of Proofs. Stanford, CA: CSLI, 1992.

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

Ungar, A. M. Normalization, Cut-elimination, and the Theory of Proofs. CSLI, 1992.