Wen Ding ji - Wang, Yingchen 1118-1176 (Yi wen yin shu guan, 1968)