Παραπομπή APA

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

Παραπομπή Chicago Style

Schwichtenberg, Helmut, and Katharina Spies. Proof Technology and Computation. Amsterdam: IOS Press, 2006.

Παραπομπή MLA

Schwichtenberg, Helmut, and Katharina Spies. Proof Technology and Computation. Amsterdam: IOS Press, 2006.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.