Oklahoma City Times (Oklahoma City, Okla.), Vol. 94, No. 121, Ed. 1 Tuesday, July 12, 1983, newspaper, July 12, 1983; (https://gateway.okhistory.org/ark:/67531/metadc1849024/m1/1/: accessed May 26, 2024), University of North Texas Libraries, The Gateway to Oklahoma History, gateway.okhistory.org; .