A commentary on the first book of Euclid's Elements - Πρόκλος (410 ή 12-485) (University Press, 1970)