A Chinese Biographical Dictionary/Ch'ên T'ing-ching

