United States. Bureau of the Budget and United States. Office of Management and Budget. "Office of Personnel Management," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 1994," Budget of the United States Government (April 8, 1993) : 1009-1019. https://fraser.stlouisfed.org/title/54/item/19044/content/pdf/bus_1994_sec2/toc/168569 , accessed on April 24, 2024.