"The local campus libraries come together electronically to form a collective resource of more than 20 million books, journals, government documents, maps, sound recordings, films and other resources." . . . . . . . .