『冊府元亀』986　外臣部（三十一）征討第五　顕慶元年五月条

（顕慶元年）五月、程名振率兵渡遼水、至。高麗以名振兵少、乃開六城門出兵、渡貴端水、與名振合戦、賊徒大敗奔走、過水欲入城不得、殺獲千餘人、名振縦兵焚其羅郭及村落而還。