逋寇阻隘，晏安假日。举斧函谷，规延王诛。群师勤王，将离寒暑。公躬秉鈇钺，棱威首涂。戎辂载脂，则郊垒叠卷；崤陕甫践，则潼塞开扃。姚泓窘逼，弃城送死。蓝田偏师，覆之霸川。甲首成林，俘获蔽野。伪首奔迸，华戎云集。积纪逋寇，旦夕夷殄（《宋书自序》）。