Proclus : Alcibiades I - Πρόκλος 410 ή 12-485 (Springer-Science + Business Media, 1971)
Based on the critical text and indices of Proclus: Commentary on the First Alcibiades of Plato, by L. G. Westerink. Amsterdam. 1954.