A Chinese Biographical Dictionary/Chêng Chih-lung

