Texas. State Office of Risk Management. Texas State Office of Risk Management Annual Report of Other Required Information: 2003, report, December 31, 2003; (https://texashistory.unt.edu/ark:/67531/metapth576069/m1/1/: accessed November 21, 2018), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .