A Chinese Biographical Dictionary/Ch'ên Mêng-lei

