Chong juan Xinzhai Wang xian sheng quan ji [8 juan / - Wang, Gen, (Wang shi,, 1631)