The Bandera Bulletin (Bandera, Tex.), Vol. 12, No. 47, Ed. 1 Friday, May 17, 1957, newspaper, May 17, 1957; (https://texashistory.unt.edu/ark:/67531/metapth799278/m1/1/: accessed July 17, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .