San chao ye ji - Li, Xunzhi ca. 17. Jh; Chen, Zhenhui 1604-1656; Zhu, Chungu ca. 17. Jh; Dai, Li 1614-1682 (Zhong guo jin dai nei luan wai huo li shi gu shi cong shu, 1964)