United States. Bureau of the Budget
and United States. Office of Management and Budget. "Fiscal Year Ending June 30, 1958 : Detail of Personal Services,"
Budget of the United States Government - Appendix
(January 16, 1957).
https://fraser.stlouisfed.org/title/233/item/5712, accessed on September 21, 2024.