Searle, Arthur, 1938-, of the British Library