In addition to the combined age and service and prior service annuities
to which a present employee is entitled, an employee with 24 or more years
of service who has attained age 65 or more at the time he withdraws is
entitled to receive a sum equal to the difference between the combined age
and service annuity and prior service annuity, and 1/3 of his salary at the
date of his withdrawal.
(Source: Laws 1963, p. 161