大明太祖高皇帝实录11

卷十 故元遣兵（三）

明史纪事本末（清）谷应泰－卷十

張廷玉《明史》卷一百三十四列傳第二十二：何文輝(徐司馬葉旺)馬雲繆大亨(武德)蔡遷(陳文)王銘甯正(袁義)金興旺(費子賢)花茂丁玉郭雲(王溥)

​卷一百三十四　列傳第二十二

第十九回　定云南沐英留镇　征漠北蓝玉报功