Diablo Valley College Library, Pleasant Hill, Calif. Library