Procli Diadochi in primum Euclidis elementorum librum commentarii - Proclus Diadochus 412-485 (Bibliotheca scriptorum graecorum et romanorum Teubneriana, 1967)