District retirement benefits

The District shall provide retirement benefits to all employees first employed after September 30, 1987, who would otherwise have been covered under the Civil Service Retirement System pursuant to 5 U.S.C. § 8331 except those specifically excluded by law or by rule.