Zheng yi tang wen ji [12 juan] fu xu ji [8 juan] - Zhang, Boxing 1651-1725 (1936)
Mit xu ji. - " ... ju Zheng yi tang quan shu ben pai yin ..."