Proklos - Halfwassen, Jens (Großes Werklexikon der Philosophie ; Band 2: L - Z, Anonyma und Sammlungen, 1999)