Patrologiæ Græcæ vol. 87a: Procopius of Gaza