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

Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.

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

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.

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

Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.

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