Palo Pinto County Star (Palo Pinto, Tex.), Vol. 64, No. 44, Ed. 1 Friday, May 3, 1940, newspaper, May 3, 1940; (https://texashistory.unt.edu/ark:/67531/metapth1170946/m1/4/: accessed July 17, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .