LIST OF ABBREVIATIONS

The abbreviations are for the names of the libraries in which the copies are located, and for references to other sources of information.