Azzouni, Jody, cProof and Ontology in Euclidean Mathematicsd, In: Tinne Hoff Kjeldsen u.a. (Hgg.), New Trends in the History and Philosophy of Mathematics, University Press of Southern Denmark: Odense 2004, 1173133
V. Peckhaus, zbMATH Open, Zbl. 1071.00004 (2005).