Wu Dai hui yao [30 juan] - Wang, Pu 922-982 (Shi jie shu ju, 1970)