Wu deng hui yuan. 16 57 juan - Huiming Song (Ke jing chu, 1908)
Hrsg. wird auch Pu ji genannt