Xin jiao zheng meng xi bi tan [26 juan] - Shen, Kuo 1031-1095 (Zhong hua shu ju, 1957)