Liu, Zongyuan, and Ding Zheng. Chong Jiao Tian Zhu Yin Bian Tang Liu Xian Sheng Wen Ji 45 Juan, Wai Ji 2 Juan. Gusu Zheng Ding, 1208.