United States. Bureau of the Budget and United States. Office of Management and Budget. "Effect of Financial Operations on Cash Balances and the Public Debt," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year Ending June 30, 1957," Budget of the United States Government (January 16, 1956) : 87-87. https://fraser.stlouisfed.org/title/54/item/19010/toc/220049 , accessed on April 19, 2024.