《资治通鉴·唐纪·唐纪十八》
裴行俭派遣副将何迦密从通漠道，程务挺从石地道，突然袭取金牙山。
行俭遣裨将何迦密自通漠道，程务挺自石地道掩取之。
Pei Xingjian sent his deputy general He Gamiao to take the Tongmo path, and Cheng Wuting to take the Shitai path, and they suddenly seized Jinya Mountain.