Texas Government Code - GOV'T § 844.402. Return of Excess Contributions

(a) After the death of a member or former member and after the final payment has been made under any service, disability, or survivor annuity, a lump-sum death benefit is payable in an amount, if any, by which the amount in the person's individual account in the employees saving fund on which the annuity was computed exceeds the amount of annuity payments made.

(b) The benefit provided by this section is payable to the person entitled to receive the final monthly payment of the annuity. If that person is deceased, the benefit provided by this section is payable to the person's beneficiary or, if no surviving beneficiary exists, to the person's spouse or, if no surviving spouse exists, to the person's estate.

(c) The benefit provided by this section is payable from the subdivision accumulation fund.

(d) For plans terminated under Subchapter A-1, Chapter 842,  1 the benefit provided by this section is payable from the closed subdivision annuity reserve fund.