Stanford University. Hoover Institution on War, Revolution, and Peace. The library catalogs of the Hoover Institution on War, Revolution, and Peace, Stanford University: catalogs of the Western language collections