《陈书·列传·卷四》
平定徐嗣徽，程灵洗有功，被任命为南丹阳太守，封为遂安县侯，增赐食邑合计以前赐予的共一千五百户，随后前往采石镇守。
及平徐嗣徽，灵洗有功，除南丹阳太守，封遂安县侯，增邑并前一千五百户，仍镇采石。
Cheng Lingxi made great contributions to the pacification of Xu Sihui, and was appointed as Prefect of Nan Danyang, and was granted the title of Marquis of Suian County. He was given an additional food town, which together with the previously granted food town totaled one thousand five hundred households. He then marched to Zaishi to defend the city.