Where does “diff” come from?

diff (English): Abbreviation of difference; Any program which...