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.
D.C. Code § 1-626.03