SpringerLink (Online service), Schreck, P., Narboux, J., & Richter-Gebert, J. (2011). Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Pascal Schreck, Julien Narboux, και Jürgen Richter-Gebert. Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2011.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer, 2011.