8^ "ADS Bibliographic Codes: Journal Abbreviations".