三国志裴注诸葛亮传引汉晋春秋：是岁，孙权称尊号，其群臣以并尊二帝来告。议者咸以为交之无益，而名体弗顺，宜显明正义，绝其盟好。亮曰：“权有僭逆之心久矣，国家所以略其衅情者，求掎角之援也。今若加显绝，雠我必深，便当移兵东戍，与之角力，须并其土，乃议中原。彼贤才尚多，将相缉穆，未可一朝定也。顿兵相持，坐而须老，使北贼得计，非算之上者。昔孝文卑辞匈奴，先帝优与吴盟，皆应权通变，弘思远益，非匹夫之为者也。今议者咸以权利在鼎足，不能并力，且志望以满，无上岸之情，推此，皆似是而非也。何者？其智力不侔，故限江自保；权之不能越江，犹魏贼之不能渡汉，非力有余而利不取也。若大军致讨，彼高当分裂其地以为后规，下当略民广境，示武於内，非端坐者也。若就其不动而睦於我，我之北伐，无东顾之忧，河南之众不得尽西，此之为利，亦已深矣。权僭之罪，未宜明也。”乃遣卫尉陈震庆权正号。
三国志诸葛亮传：九年，亮复出祁山，以木牛运，粮尽退军，与魏将张郃交战，射杀郃。十二年春，亮悉大众由斜谷出，以流马运，据武功五丈原，与司马宣王对於渭南。亮每患粮不继，使己志不申，是以分兵屯田，为久驻之基。耕者杂於渭滨居民之间，而百姓安堵，军无私焉。相持百余日。其年八月，亮疾病，卒于军，时年五十四。
三国志裴注诸葛亮传引汉晋春秋：亮围祁山，招鲜卑轲比能，比能等至故北地石城以应亮。於是魏大司马曹真有疾，司马宣王自荆州入朝，魏明帝曰：“西方事重，非君莫可付者。”乃使西屯长安，督张郃、费曜、戴陵、郭淮等。宣王使曜、陵留精兵四千守上邽，余众悉出，西救祁山。郃欲分兵驻雍、郿，宣王曰：“料前军能独当之者，将军言是也；若不能当而分为前后，此楚之三军所以为黥布禽也。”遂进。亮分兵留攻，自逆宣王于上邽。郭淮、费曜等徼亮，亮破之，因大芟刈其麦，与宣王遇于上邽之东，敛兵依险，军不得交，亮引而还。宣王寻亮至于卤城。张郃曰：“彼远来逆我，请战不得，谓我利在不战，欲以长计制之也。且祁山知大军以在近，人情自固，可止屯於此，分为奇兵，示出其后，不宜进前而不敢偪，坐失民望也。今亮县军食少，亦行去矣。”宣王不从，故寻亮。既至，又登山掘营，不肯战。贾栩、魏平数请战，因曰：“公畏蜀如虎，奈天下笑何！”宣王病之。诸将咸请战。五月辛巳，乃使张郃攻无当监何平於南围，自案中道向亮。亮使魏延、高翔、吴班赴拒，大破之，获甲首三千级，玄铠五千领，角弩三千一百张，宣王还保营。
三国志郭淮传：青龙二年，诸葛亮出斜谷，并田于兰坑。是时司马宣王屯渭南；淮策亮必争北原，宜先据之，议者多谓不然。淮曰：“若亮跨渭登原，连兵北山，隔绝陇道，摇荡民、夷，此非国之利也。”宣王善之，淮遂屯北原。堑垒未成，蜀兵大至，淮逆击之。后数日，亮盛兵西行，诸将皆谓欲攻西围，淮独以为此见形於西，欲使官兵重应之，必攻阳遂耳。其夜果攻阳遂，有备不得上。
水经注渭水注引诸葛亮表：臣先遣虎步监孟琰据武功水东，司马懿因渭水涨，以二十日出骑万人来攻琰营，臣作竹桥越水射之，贼见桥垂成，便引兵退。