『旧唐書』
4
本紀
4
高宗上
（顕慶三年）六月、程名振攻高麗。