Oklahoma City Times (Oklahoma City, Okla.), Vol. 94, No. 85, Ed. 2 Tuesday, May 31, 1983, newspaper, May 31, 1983; (https://gateway.okhistory.org/ark:/67531/metadc1848965/m1/5/: accessed July 17, 2024), University of North Texas Libraries, The Gateway to Oklahoma History, gateway.okhistory.org; .