APA-Zitierstil (7. Ausg.)

Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation (1.). IOS Press.

Chicago-Zitierstil (17. Ausg.)

Schwichtenberg, Helmut, und Katharina Spies. Proof Technology and Computation. 1. Amsterdam ; Tokyo: IOS Press, 2006.

MLA-Zitierstil (9. Ausg.)

Schwichtenberg, Helmut, und Katharina Spies. Proof Technology and Computation. 1. IOS Press, 2006.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.