Marinu Proklos Graece et Latine = Marini vita Procli - Marinus Neapolitanus 440- (Hakkert, 1966)