Waerden, B.L. v. d. Die gemeinsame Quelle der erkenntnistheoretischen Abhandlungen v. Iamblichos u. Proklos, 1980 (subj.) t.p. (Proklos) p. 5 (Proclus Diadochus)
Petrici, I. Rassmotrenie platonovskoĭ filosofii i Prokla Diadokha, 1984.
His I Manuali, 1985 t.p. (Proclo Licio Diadoco)
His Über die Vorsehung, das Schicksal und den freien Willen an Theodorus, den Ingenieur (Mechaniker), 1980 t.p. (Proklos Diadochos)
Sambursky, S. Proḳlos neśi ha-Aḳademyah ha-Aplaṭonit ... 1985 or 1986.
Iremadze, T. Konzeptionen des Denkens im Neuplatonismus, 2004 CIP galley (Proklus)
Fenomen teurgii, 2003 p. 4 (Prokl)
Thesaurus linguae Graecae, 18 March 2009 (Πρόκλος; Πρόκλος Διάδοχος; Πρόκλος Πλατωνικός Διάδοχος)
Brill's new Pauly online, 19 January 2011 (Proclus, 5th century; born in Constantinople, but of Lycian extraction; studied in Constantinople, Alexandria, and Athens; was the leader of the Neoplatonist school in Athens from 438-485; wrote commentary on Plato's Timaeus in 439 at age 27)