The Random House dictionary (Random House, 1980)