《经庄严论》、《辩法性论》、《辩中边论》和《宝性论》。