A Chinese Biographical Dictionary/K'ung Mêng-p'i

