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

Snyder, W. (1991). A proof theory for general unification. Birkhäuser.

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

Snyder, Wayne. A Proof Theory for General Unification. Boston: Birkhäuser, 1991.

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

Snyder, Wayne. A Proof Theory for General Unification. Birkhäuser, 1991.