A Chinese Biographical Dictionary/Ch'ên Ch'ien

