Proclus' Commentary on Plato's Parmenides - Πρόκλος, π. 410-485 μ.Χ. (Princeton University Press, 1987)