Simplicius's Proof of Euclid's Parallels Postulate. - Sabra, A.I (1969)