Finite bases for integral closures.