《三国演义》第一百零九回：困司马汉将奇谋 废曹芳魏家果报

延熙十六年秋，姜维起兵伐魏，用夏侯霸之计联结羌兵，意图先取南安。

延熙十六年秋，姜维起兵伐魏，用夏侯霸之计联结羌兵，意图先取南安。魏国司马昭以徐质为先锋迎战，徐质连败廖化、张翼。姜维佯装以木牛流马运粮，诱徐质夜袭粮道，于路上设伏，徐质中计被杀。姜维又令蜀兵换上魏军衣甲旗号，赚开魏寨，司马昭败退，被围困于铁笼山，山上缺水，司马昭祈祷后泉水涌出，得以支撑。

郭淮采纳陈泰诈降之计，大破羌兵，擒获羌王迷当，迫其为前部去解铁笼山之围。姜维中计迎敌，魏兵突然发难，蜀军大败，姜维逃走时用空弓接箭射死郭淮，收兵回汉中。司马师回朝后专权，魏主曹芳惧之，与夏侯玄、李丰、张缉密谋，写血诏欲除司马师。事泄，三人均被灭族，张皇后被绞死。司马师废曹芳，另立高贵乡公曹髦为帝，改元正元。正元二年，毌丘俭、文钦以废主为名起兵讨伐司马师。