A Chinese Biographical Dictionary/Chao T'ing-ch'ên

