NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
Chicago-Zitierstil (17. Ausg.)NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Helmut Schwichtenberg, und Katharina Spies. Proof Technology and Computation. Amsterdam: IOS Press, 2006.
MLA-Zitierstil (9. Ausg.)NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.