Catalogues, lists, etc., used in the new catalogus catalogorum, with the abbreviations used for them (University, 1984)