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

NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ProQuest (Firm), Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.

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

NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ProQuest (Firm), Helmut Schwichtenberg, и Katharina Spies. Proof Technology and Computation. Amsterdam ; Washington, DC: IOS Press, 2006.

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

NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.

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