NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
芝加哥风格引文NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Helmut Schwichtenberg, 与 Katharina Spies. Proof Technology and Computation. Amsterdam ; Washington, DC: IOS Press, 2006.
MLA引文NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.
警告：这些引文格式不一定是100％准确.