Flavius Josephus, The Jewish War, VII, 311–314.