Zhu zi zhi yao - Wei, Zheng 580-643; Xiao, Deyan 558-654, d. 823 (Shi jie shu ju, 1962)