制詔：蜀，蕞爾小國，土狹民寡，而姜維虐用其眾，曾無廢志。往歲破敗之後，猶復耕種沓中，刻剝眾羌，勞役無已，民不堪命。夫兼弱攻昧，武之善經，致人而不致於人，兵家之上略。蜀所恃賴，唯維而已，因其遠離巢窟，用力為易。今使征西將軍鄧艾督帥諸軍，趣甘松、沓中以羅取維，雍州刺史諸葛緒督諸軍趣武都（、《文館詞林》作「武街」。）高樓，首尾討，若擒維，便當東西並進，掃滅巴蜀也。（《魏志·陳留王紀》，《文館詞林》六百六十二）
