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

Melham, T. (1988). Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge.

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

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.

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

Melham, T. Automating Recursive Type Definitions in Higher Order Logic. Computer Laboratory‚ University of Cambridge, 1988.

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