Public Employees Retirement Association joint and survivor o ptional annuity survivor designation change following marria ge dissolution authorized.