Title: Catalogue of the Harrison library, with addenda