Wu dai hui yao - Wang, Pu 922-982 (Shi jie shu ju, 1962)