Wu dai hui yao 30 juan, mu lu 1 juan - Wang, Pu 922-982 (Shi jie shu ju, 1960)