A dictionary of abbreviations, with especial attention to war-time abbreviations