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

Pfenning, F. (1992). Types in logic programming. MIT Press.

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

Pfenning, Frank. Types in Logic Programming. Cambridge, Mass.: MIT Press, 1992.

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

Pfenning, Frank. Types in Logic Programming. MIT Press, 1992.