The Waco Citizen (Waco, Tex.), Vol. 23, No. 20, Ed. 1 Thursday, July 18, 1957, newspaper, July 18, 1957; (https://texashistory.unt.edu/ark:/67531/metapth861671/m1/1/: accessed July 11, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .