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

Hofmann, M. (1997). Extensional constructs in intensional type theory. Springer.

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

Hofmann, Martin. Extensional Constructs in Intensional Type Theory. Berlin: Springer, 1997.

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

Hofmann, Martin. Extensional Constructs in Intensional Type Theory. Springer, 1997.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.