Tex. Gov't Code § 854.502
(a) If monthly payments of any standard service retirement annuity under Section 854.103, optional service retirement annuity under Section 854.104, standard disability retirement annuity under Section 854.304, optional disability retirement annuity under Section 854.305, standard occupational disability retirement annuity under Section 854.408, or optional occupational disability retirement annuity under Section 854.410 cease before the sum of all payments of the annuity equals or exceeds the amount of accumulated contributions credited to the member's individual account at the time of retirement of the member on whose service the annuity was based, a lump-sum benefit equal to the amount by which the amount of the accumulated contributions exceeds the sum of all payments made by reason of the annuity is payable:
Acts 1981, 67th Leg., p. 1876, ch. 453, Sec. 1, eff. Sept. 1, 1981.
Amended by Acts 1981, 67th Leg., 1st C.S., p. 228, ch. 18, Sec. 92, eff. Jan. 1, 1982. Renumbered from Vernon's Ann.Civ.St. Title 110B, Sec. 64.502 by Acts 1989, 71st Leg., ch. 179, Sec. 1, eff. Sept. 1, 1989.
Amended by Acts 1991, 72nd Leg., ch. 466, Sec. 7, eff. Aug. 26, 1991.
Acts 2011, 82nd Leg., R.S., Ch. 1208 (S.B. 350), Sec. 20, eff. June 17, 2011.