United States. Bureau of the Budget and United States. Office of Management and Budget. "Summary of Full-Time Permanent Civilian Employment in the Executive Branch," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 1980," Budget of the United States Government (January 22, 1979) : 527-527. https://fraser.stlouisfed.org/title/54/item/19034/toc/168730 , accessed on March 19, 2024.