A binary differencing algorithm.