Procli Diadochi in primum Euclidis elementorum librum commentarii - Πρόκλος (410 ή 12-485) (Bibliotheca Scriptorum Graecorum et Romanorum Teubneriana, 1873)