Proclus Diadochus. Commentary on the first Alcibiades of Plato. - Westerink, Leendert Gerrit, 1913-1990 (North-Holland Publishing Company, 1954)