A Chinese Biographical Dictionary/Ch'ên Po-tsung

