Catalogue of the library (H.M.S.O, 1972)