Catalogue of the papers of Ivor Evans (b. 1918) relating to the development of operational research, 1940-1952