Procli Diadochi in primum Euclidis elementorum librum commentarii - Proclus Diadochus 412-485 (Bibliotheca scriptorum Graecorum et Romanorum Teubneriana, 1873)