Jia yi ji zheng lu [1 juan] ; Xu bing ji zheng lu : [1 juan] ; Xu ding ji zheng lu : [1 juan] ; Xin zheng : [1 juan] - Xu, Zhaotai (Xu xiu Si ku quan shu, 2002)