Παραπομπή σε μορφή 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.