A Faster Algorithm Computing String Edit Distances. - William J. Masek; Mike Paterson (J. Comput. Syst. Sci., 1980)