Procopii Caesariensis : opera omnia (1905)