《旧唐书·李密传》：“ 世充 围 偃师 ，守将 郑頲 之下兵士劫叛，以城降 世充。”