1 Introduction to Differencing.pdf