Residual intersections and Todd's formula for the double locus of a morphism
scientific article; zbMATH DE number 3603416