Title: Everyman's dictionary of abbreviations