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.