An Implementation of and Experiment with Semantic Differencing. - David W. Binkley; Rob Capellini; L. Ross Raszewski; Christopher Smith (ICSM, 2001)