The Dallas Craftsman (Dallas, Tex.), Vol. 39, No. 33, Ed. 1 Friday, July 4, 1952, newspaper, July 4, 1952; (https://texashistory.unt.edu/ark:/67531/metapth1549751/m1/1/: accessed June 21, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .