Pitman's pocket dictionary of the English language, with a list of abbreviations