『旧唐書』
4
顯慶三年六月条
六月、程名振攻高麗。