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.