APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Hofmann, Martin. Extensional Constructs in Intensional Type Theory. London u.a: Springer, 1997.

MLA-Zitierstil (9. Ausg.)

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