Vita Mariæ Ægyptiæ — Procopius of Gaza