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