Information retrieval management (Data processing library series, 1962)