Title: An English-Chinese dictionary of abbreviations