Government documents are the official publications (in whatever format -- paper, microfiche, or electronic) of a government body (local, state, national, or international). In the Cornette Library, "government documents" refers to a separate collection consisting of the publications of the United States and Texas governments.