Procli Diadochi in Platonis Rem pvblicam commentarii / edidit Gvilelmvs Kroll. - Proclus Atheniensis, 410-c. 485. (OLS)http://pul/name/894; Kroll, Wilhelm, 1869-1939. (OLS)http://pul/name/4656 (in aedibus B. G. Tevbneri, 1899)