United States. Department of the Treasury. "David W. Mullins, Jr. Joins Treasury, October 7, 1988, Release Number nb-26," in United States. Department of the Treasury. "Volume 287," Press Releases of the United States Department of the Treasury (September 16, 1988 - December 29, 1988) : 71-72. https://fraser.stlouisfed.org/title/6111/item/587130/toc/535497 , accessed on May 2, 2024.