28 三国志卷二十八　魏书二十八　　王　丘诸葛邓锺传第二十八 第39段
　　文王以蜀大将姜维屡扰边陲，料蜀国小民疲，资力单竭，欲大举图蜀．惟会亦以为蜀可取，豫共筹度地形，考论事势．景元三年冬，以会为镇西将军、假节都督关中诸军事．文王暣青、徐、兖、豫、荆、扬诸州，并使作船，又令唐咨作浮海大船，外为将伐吴者．四年秋，乃下诏使邓艾、诸葛绪各统诸军三万余人，艾趣甘松、沓中连缀维，绪趣武街、桥头绝维归路．会统十余万觽，分从斜谷、骆谷入．先命牙门将许仪在前治道，会在後行，而桥穿，马足陷，於是斩仪．仪者，许褚之子，有功王室，犹不原贷．诸军闻之，莫不震竦．蜀令诸围皆不得战，退还汉、乐二城守．魏兴太守刘钦趣子午谷，诸军数道平行，至汉中．蜀监军王含守乐城，护军蒋斌守汉城，兵各五千．会使护军荀恺、前将军李辅各统万人，恺围汉城，辅围乐城．会径过，西出阳安口，遣人祭诸葛亮之墓．使护军胡烈等行前，攻破关城，得库藏积谷．姜维自沓中还，至阴平，合集士觽，欲赴关城．未到，闻其已破，退趣白水，与蜀将张翼、廖化等合守剑阁拒会．会移檄蜀将吏士民曰：

44 三国志卷四十四　蜀书十四　　蒋琬费禕姜维传第十四 第17段
　　初，先主留魏延镇汉中，皆实兵诸围以御外敌，敌若来攻，使不得入．及兴势之役，王平捍拒曹爽，皆承此制．维建议，以为错守诸围，虽合周易「重门」之义，然适可御敌，不获大利．不若使闻敌至，诸围皆敛兵聚谷，退就汉、乐二城，使敌不得入平，且重关镇守以捍之．有事之日，令游军并进以伺其虚．敌攻关不克，野无散谷，千里县粮，自然疲乏．引退之日，然後诸城并出，与游军并力搏之，此殄敌之术也．於是令督汉中胡济却住汉寿，监军王含守乐城，护军蒋斌守汉城，又於西安、建威、武韂、石门、武城、建昌、临远皆立围守．