Proclus a commentary on the first book of Euclid's elements - Morrow, Glenn R.; Proclus Diadochus 412-485 (Princeton Univ. Press, 1970)