United States. Department of the Treasury. "Office of Foreign Assets Control," in United States. Department of the Treasury. "Annual Report of the Secretary of the Treasury on the State of the Finances, Fiscal Year 1980," Annual Report of the Secretary of the Treasury on the State of the Finances (Fiscal Year Ended September 30, 1980) : 202-204. https://fraser.stlouisfed.org/title/194/item/5626/toc/252171 , accessed on March 28, 2024.