The new Merriam-Webster pocket dictionary (Pocket Books, 1971)