《周书·列传·卷二十八》
当时垦等防守外城，速将程文季、雷道勤趁黑夜来偷袭，垦等惊慌混乱，不能抵御。
时迁哲等守外城，陈将程文季、雷道勤夜来掩袭，迁哲等惊乱，不能抗御。
At that time, Fen and others defended the outer city, and secretly sent Cheng Wenji and Lei Daoqin to attack under the cover of night, causing Fen and others to panic and become unable to resist.