HD. 3.571b(*[左傳 etc.]); DK. 3.47a(*[左傳 etc.]); Krsh(1998) , s.v.;
22b29.四王諸天爲供養佛常撃天鼓(p)
K. 160.2.cāturmahārājakāyika~ devaputra~; Z. 89a11.四天王及諸天子;