A Chinese Biographical Dictionary/Yen Chên-ch'ing

