Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service), Hutter, D., & Stephan, W. (2005). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service), Dieter Hutter, και Werner Stephan. Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service), et al. Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer Berlin Heidelberg, 2005.