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

Dybjer, P., & Pitts, A. M. Semantics and Logic of Computation. Cambridge University Press.

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

Dybjer, Peter, και A. M. Pitts. Semantics and Logic of Computation. Cambridge University Press.

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

Dybjer, Peter, και A. M. Pitts. Semantics and Logic of Computation. Cambridge University Press.