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 eBooks..
Chicago Style (17th ed.) CitationSpringerLink (Online service), Thomas Sturm, and Christoph Zengler. "Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers." Springer EBooks. 2011.
MLA (9th ed.) CitationSpringerLink (Online service), et al. "Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers." Springer EBooks., 2011.
Warning: These citations may not always be 100% accurate.