17 三国志卷十七　魏书十七　　张乐于张徐传第十七 第18段
　　太祖还邺，留晃与夏侯渊拒刘备於阳平．备遣陈式等十余营绝马鸣阁道，晃别征破之，贼自投山谷，多死者．太祖闻，甚喜，假晃节，令曰：「此阁道，汉中之险要咽喉也．刘备欲断绝外内，以取汉中．将军一举，克夺贼计，善之善者也．」太祖遂自至阳平，引出汉中诸军．复遣晃助曹仁讨关羽，屯宛．会汉水暴隘，于禁等没．羽围仁於樊，又围将军吕常於襄阳．晃所将多新卒，以羽难与争锋，遂前至阳陵陂屯．太祖复还，遣将军徐商、吕建等诣晃，令曰：「须兵马集至，乃俱前．」贼屯偃城．晃到，诡道作都堑，示欲截其後，贼烧屯走．晃得偃城，两面连营，稍前，去贼围三丈所．未攻，太祖前後遣殷署、朱盖等凡十二营诣晃．贼围头有屯，又别屯四頉．晃扬声当攻围头屯，而密攻四頉．羽见四頉欲坏，自将步骑五千出战，晃击之，退走，遂追陷与俱入围，破之，或自投沔水死．太祖令曰：「贼围堑鹿角十重，将军致战全胜，遂陷贼围，多斩首虏．吾用兵三十余年，及所闻古之善用兵者，未有长驱径入敌围者也．且樊、襄阳之在围，过於莒、即墨，将军之功，踰孙武、穰苴．」晃振旅还摩陂，太祖迎晃七里，置酒大会．太祖举潖酒劝晃，且劳之曰：「全樊、襄阳，将军之功也．」时诸军皆集，太祖案行诸营，士卒咸离陈观，而晃军营整齐，将士驻陈不动．太祖叹曰：「徐将军可谓有周亚夫之风矣．」

32 三国志卷三十二　蜀书二　　先主传第二 第25段
　　二年春正月，先主军还秭归，将军吴班、陈式水军屯夷陵，夹江东西岸．二月，先主自秭归率诸将进军，缘山截岭，於夷道猇亭猇，许交反．驻营，自佷山佷，音恒．通武陵，遣侍中马良安慰五溪蛮夷，咸相率响应．镇北将军黄权督江北诸军，与吴军相拒於夷陵道．夏六月，黄气见自秭归十余里中，广数十丈．後十余日，陆议大破先主军於猇亭，将军冯习、张南等皆没．先主自猇亭还秭归，收合离散兵，遂弃船舫，由步道还鱼复，改鱼复县曰永安．吴遣将军李异、刘阿等踵蹑先主军，屯驻南山．秋八月，收兵还巫．司徒许靖卒．冬十月，诏丞相亮营南北郊於成都．孙权闻先主住白帝，甚惧，遣使请和．先主许之，遣太中大夫宗玮报命．冬十二月，汉嘉太守黄元闻先主疾不豫，举兵拒守．

33 三国志卷三十三　蜀书三　　後主传第三 第9段
　　七年春，亮遣陈式攻武都、阴平，遂克定二郡．冬，亮徙府营於南山下原上，筑汉、乐二城．是岁，孙权称帝，与蜀约盟，共交分天下．

35 三国志卷三十五　蜀书五　　诸葛亮传第五 第13段
　　冬，亮复出散关，围陈仓，曹真拒之，亮粮尽而还．魏将王双率骑追亮，亮与战，破之，斩双．七年，亮遣陈式攻武都、阴平．魏雍州刺史郭淮率觽欲击式，亮自出至建威，淮退还，遂平二郡．诏策亮曰：「街亭之役，咎由马谡，而君引愆，深自贬抑，重违君意，听顺所守．前年燿师，馘斩王双；今岁爰征，郭淮遁走；降集氐、羌，兴复二郡，威镇凶暴，功勋显然．方今天下骚扰，元恶未枭，君受大任，干国之重，而久自挹损，非所以光扬洪烈矣．今复君丞相，君其勿辞．」[一]