是岁,魏延破魏雍州刺史郭淮于阳谿。——《三国志·蜀书·后主传》

八年,使延西入羌中,魏后将军费瑶、雍州刺史郭淮与延战于阳谿,延大破淮等,迁为前军师征西大将军,假节,进封南郑侯。——《三国志·蜀书·刘彭廖李刘魏杨传》

参考资料:《三国志》裴松之注、马植杰《三国史》、《三国演义》