An integral formula in differential geometry via mixed exterior algebra. Allen Y. Leung; J.R. Vanstone — 1993 Manuscripta mathematica