A repository of abbreviations for references, e.g., for conferences, journals, institutes, etc.