Xue Wenqing gong wen ji - Xue, Xuan 1389-1464 (Ying yin Xiulu xian cang han chuan shan ben cong kan, 1973)