Juyan Han jian jia bian (Ke xue chu ban she, 1959)
Bibliography: p. 109-110.