Journal of the Senate of Texas: 83rd Legislature, Second Called Session, Tuesday, July 9, 2013, legislative document, July 9, 2013; (https://texashistory.unt.edu/ark:/67531/metapth641316/m1/2/: accessed July 16, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .