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

Bundy, A. (1994). Automated deduction - CADE-12: Proceedings. Springer - Verlag.

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

Bundy, Alan. Automated Deduction - CADE-12: Proceedings. Berlin: Springer - Verlag, 1994.

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

Bundy, Alan. Automated Deduction - CADE-12: Proceedings. Springer - Verlag, 1994.