Proclus' commentary on Plato's Parmenides - Proclus, Diadochus 412-485 (Princeton Univ. Pr., 1992)