Yongchun Zhou zhi. 4 17 juan - Zheng, Yisong (1787)
[Repr. :] 1974