Πρόκλου διαδόχου υποτύπωσις των αστρονομικών υποθέσεων = Procli Diadochi Hypotyposis astronomicarum positionum - Πρόκλος, π. 410-485 (Bibliotheca scriptorum Graecorum et Romanorum Teubneriana, 1974)