Proclus' commentary on Plato's Parmenides - Πρόκλος ο Διάδοχος, 410-485 (Princeton University Press, 1987)