Wuxing cang shu lu - Zheng, Yuanqing ca. 1660 - ca. 1730; han daotian; Shimada, Kan (Gu dian wen xue chu ban she, 1957)