Dennis, James R. Jacksboro Gazette-News (Jacksboro, Tex.), Vol. 78, No. 8, Ed. 1 Thursday, July 25, 1957, newspaper, July 25, 1957; (https://texashistory.unt.edu/ark:/67531/metapth733251/m1/1/: accessed December 9, 2019), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .