Archivmaterialien zu John R. Searle, 1932- - Searle, John R.