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

Logic Colloquium Oxford, Oxfordshire, Crossley, J. N., & Dummett, M. (1965). Formal systems and recursive functions: Proceedings of the eighth logic Colloquium Oxford, July 1963. North-Holland.

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

Logic Colloquium Oxford, Oxfordshire, John N. Crossley, και Michael Dummett. Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium Oxford, July 1963. Amsterdam: North-Holland, 1965.

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

Logic Colloquium Oxford, Oxfordshire, et al. Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium Oxford, July 1963. North-Holland, 1965.