Nanshan ji 14 juan, bu yi 3 juan, nian pu 1 juan - Dai, Mingshi 1653-1713 (Beijing chu ban she, 2005)
"Minguo 7 nian ke ben."