相關記載
《資治通鑑》卷第七十四 魏紀六 凡八年【五〇九】司馬出征
六月，司馬懿軍至遼東，公孫淵使大將軍卑衍、楊祚將步騎數萬屯遼隧，圍塹二十餘里。諸將欲擊之，懿曰：“賊所以堅壁，欲老吾兵也，今攻之，正墮其計。且賊大眾在此，其巢窟空虛。直指襄平，破之必矣。”乃多張旗幟，欲出其南，衍等盡銳趣之。懿潛濟水，出其北，直趣襄平；衍等恐，引兵夜走。諸軍進至首山，淵復使衍等逆戰，懿擊，大破之，遂進圍襄平。秋，七月，大霖雨，遼水暴漲，運船自遼口徑至城下。雨月餘不止，平地水數尺。三軍恐，欲移營，懿令軍中：“敢有言徙者斬！”都督令史張靜犯令，斬之，軍中乃定。賊恃水，樵牧自若，諸將欲取之，懿皆不聽。司馬陳珪曰：“昔攻上庸，八部俱進，晝夜不息，故能一旬之半，拔堅城，斬孟達。今者遠來而更安緩，愚竊惑焉。”懿曰：“孟達眾少而食支一年，將士四倍於達而糧不淹月；以一月圖一年，安可不速！以四擊一，正令失半而克，猶當為之，是以不計死傷，與糧競也。今賊眾我寡，賊飢我飽，水雨乃爾，功力不設，雖當促之，亦何所為！自發京師，不憂賊攻，但恐賊走。今賊糧垂盡而圍落未合，掠其牛馬，抄其樵採，此故驅之走也。夫兵者詭道，善因事變。賊憑眾恃雨，故雖飢困，未肯束手，當示無能以安之。取小利以驚之，非計也。”朝廷聞師遇雨，鹹欲罷兵。帝曰：“司馬懿臨危制變，禽淵可計日待也。”雨霽，懿乃合圍，作土山地道，楯櫓鉤沖，晝夜攻之，矢石如雨。淵窘急，糧盡，人相食，死者甚多，其將楊祚等降。八月，淵使相國王建、御史大夫柳甫請解圍卻兵，當君臣面縛。懿命斬之，檄告淵曰：“楚、鄭列國，而鄭伯猶肉袒牽羊迎之。孤天子上公，而建等欲孤解圍退舍，豈得禮邪！二人老耄，傳言失指，已相為斬之。若意有未已，可更遣年少有明決者來！”淵復遣侍中衛演乞克日送任，懿謂演曰：“軍事大要有五：能戰當戰，不能戰當守，不能守當走；餘二事，但有降與死耳。汝不肯面縛，此為決就死也，不須送任！”任午，襄平潰，淵與子修將數百騎突圍東南走，大兵急擊之，斬淵父子於梁水之上。懿既入城，誅其公卿以下及兵民七千餘人，築為京觀。遼東、帶方、樂浪、玄菟四郡皆平。淵之將反也，將軍綸直、賈范等苦諫，淵皆殺之，懿乃封直等之墓，顯其遺嗣，釋淵叔父恭之囚。中國人慾還舊鄉者，恣聽之。遂班師。
