《三国志·卷三十五·蜀志·诸葛亮传》：六年春，扬声由斜谷道取郿，使赵云、邓芝为疑军，据箕谷，魏大将军曹真举众拒之。亮身率诸军攻祁山，戎陈整齐，赏罚肃而号令明，南安、天水、安定三郡叛魏应亮，关中响震。魏明帝西镇长安，命张合拒亮，亮使马谡督诸军在前，与合战于街亭。谡违亮节度，举动失宜，大为合所破。亮拔西县千馀家，还于汉中，戮谡以谢众。
《三国志·卷三十五·蜀志·诸葛亮传》：上疏曰：“臣以弱才，叨窃非据，亲秉旄钺以厉三军，不能训章明法，临事而惧，至有街亭违命之阙，箕谷不戒之失，咎皆在臣授任无方。臣明不知人，恤事多闇，春秋责帅，臣职是当。请自贬三等，以督厥咎。“於是以亮为右将军，行丞相事，所总统如前。
《三国志·卷三十五·蜀志·诸葛亮传》：冬，亮复出散关，围陈仓，曹真拒之，亮粮尽而还。魏将王双率骑追亮，亮与战，破之，斩双。
《三国志·卷三十三·蜀志·后主传》：六年春，亮出攻祁山，不克。冬，复出散关，围陈仓，粮尽退。魏将王双率军追亮，亮与战，破之，斩双，还汉中。
《三国志·卷三十五·蜀志·诸葛亮传》：七年，亮遣陈式攻武都、阴平。魏雍州刺史郭淮率众欲击式，亮自出至建威，淮退还，遂平二郡。诏策亮曰：“街亭之役，咎由马谡，而君引愆，深自贬抑，重违君意，听顺所守。前年燿师，馘斩王双；今岁爰征，郭淮遁走；降集氐、羌，兴复二郡，威镇凶暴，功勋显然。方今天下骚扰，元恶未枭，君受大任，干国之重，而久自挹损，非所以光扬洪烈矣。今复君丞相，君其勿辞。”
《三国志·卷三十三·蜀志·后主传》：七年春，亮遣陈式攻武都、阴平，遂克定二郡。冬，亮徙府营於南山下原上，筑汉、乐二城。
《三国志·卷三十三·蜀志·后主传》：八年秋，魏使司马懿由西城，张合由子午，曹真由斜谷，欲攻汉中。丞相亮待之於城固、赤阪，大雨道绝，真等皆还。是岁，魏延破魏雍州刺史郭淮于阳谿。
《三国志·卷三十五·蜀志·诸葛亮传》：九年，亮复出祁山，以木牛运，粮尽退军，与魏将张合交战，射杀合。
《晋书》：进次汉阳，与亮相遇，帝列阵以待之。使将牛金轻骑饵之，兵才接而亮退，追至祁山。亮屯卤城，据南北二山，断水为重围。帝攻拔其围，亮宵遁。追击，破之，俘斩万计。天子使使者劳军，增封邑。
《三国志·卷三十三·蜀志·后主传》：九年春二月，亮复出军围祁山，始以木牛运。魏司马懿、张合救祁山。夏六月，亮粮尽退军，合追至青封，与亮交战，被箭死。
《三国志·卷三十三·蜀志·后主传》：十年，亮休士劝农於黄沙，作流马木牛毕，教兵讲武。