Цитирование APA (7-е изд.)

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

Цитирование в стиле Чикаго (17-е изд.)

Hofmann M. Extensional Constructs in Intensional Type Theory. N.Y: Springer, 1997.

Цитирование MLA (8-е изд.)

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.