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