Travis County (Tex.). District Clerk's Office. Travis County Naturalization Records: Index to Naturalization Records of Travis County from 1840-1906, A-K, book, Date Unknown; (https://texashistory.unt.edu/ark:/67531/metapth834473/m1/1/: accessed June 12, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .