Zheng Banqiao shu fa ji - Zheng, Xie 1693-1765 (Jiangsu mei shu chu ban she, 1985)