Proclus : An introduction - Chlup, Radek, 1972- (Cambridge University Press, 2012)