Abbreviations for library names are those used in the National Union Catalog.