Catalogue of the library of the Royal Statistical Society