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

Pitts, A. M., & Dybjer, P. (1997). Semantics and logics of computation. Cambridge University Press.

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

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

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

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