SpringerLink (Online service), Sturm, T., & Zengler, C. (2011). Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Thomas Sturm, και Christoph Zengler. Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Springer Berlin Heidelberg, 2011.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.